Login / Signup

Disk Based Software Verification via Bounded Model Checking.

Fernando BrizzolariIgor MelattiEnrico TronciGiuseppe Della Penna
Published in: APSEC (2007)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • software engineering
  • model checker
  • petri net
  • decision problems