Login / Signup
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.
Tevfik Bultan
Richard Gerber
William Pugh
Published in:
CAV (1997)
Keyphrases
</>
symbolic model checking
partial observability
presburger arithmetic
model checking
general purpose
test cases
formal methods