Login / Signup

Inference of Properties from Requirements and Automation of Their Formal Verification.

Marina Reich
Published in: ASE (2019)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • symbolic model checking
  • bounded model checking
  • desirable properties
  • automated verification
  • functional requirements