Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.

Vijay Ganesh Sergey Berezin David L. Dill

Published in: FMCAD (2002)

Keyphrases

model checking
temporal logic
software engineering
optimal solution
search algorithm
state space
programming language
linear programming
epistemic logic
temporal properties
verification method
bounded model checking