6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.LO2003★ 6 cited
An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables
Bernard Boigelot, Sebastien Jodogne, Pierre Wolper
This paper considers finite-automata based algorithms for handling linear arithmetic with both real and integer variables. Previous work has shown that this theory can be dealt wit…
cs.LO2001
Checking Properties within Fairness and Behavior Abstractions
Ulrich Ultes-Nitsche, Pierre Wolper
This paper is motivated by the fact that verifying liveness properties under a fairness condition is often problematic, especially when abstraction is used. It shows that using a m…