2019
DOI: 10.48550/arxiv.1901.09793
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints

Ekaterina Arafailova,
Nicolas Beldiceanu,
Helmut Simonis

Abstract: Many constraints restricting the result of some computations over an integer sequence can be compactly represented by register automata. We improve the propagation of the conjunction of such constraints on the same sequence by synthesising a database of linear and non-linear invariants using their register-automaton representation. The obtained invariants are formulae parameterised by a function of the sequence length and proven to be true for any long enough sequence. To assess the quality of such linear inva… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 16 publications
(53 reference statements)
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?