Login / Signup

Unit Checking: Symbolic Model Checking for a Unit of Code.

Elsa L. GunterDoron A. Peled
Published in: Verification: Theory and Practice (2003)
Keyphrases
  • symbolic model checking