Login / Signup

Design Constraints in Symbolic Model Checking.

Matt KaufmannAndrew MartinCarl Pixley
Published in: CAV (1998)
Keyphrases
  • symbolic model checking
  • software engineering