280 citations · 436 across the 21 of their papers we have counts for
3 papers · 1 filter
A Combined Approach for Constraints over Finite Domains and Arrays
Sébastien Bardin, Arnaud Gotlieb
Arrays are ubiquitous in the context of software verification. However, effective reasoning over arrays is still rare in CP, as local reasoning is dramatically ill-conditioned for…
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
Roberto Bagnara, Matthieu Carlier, Roberta Gori +1
Floating-point computations are quickly finding their way in the design of safety- and mission-critical systems, despite the fact that designing floating-point algorithms is signif…
Constraint-based reachability
Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar
Iterative imperative programs can be considered as infinite-state systems computing over possibly unbounded domains. Studying reachability in these systems is challenging as it req…