Login / Signup

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.

Tevfik BultanRichard GerberWilliam Pugh
Published in: CAV (1997)
Keyphrases
  • symbolic model checking
  • partial observability
  • presburger arithmetic
  • model checking
  • general purpose
  • test cases
  • formal methods