research
∙
05/30/2022
Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
We propose a data-driven algorithm for numerical invariant synthesis and...
share
research
∙
04/08/2022
On Presburger arithmetic extended with non-unary counting quantifiers
We consider a first-order logic for the integers with addition. This log...
research
∙
03/26/2018
