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

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

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 conjuncti…