Login / Signup

SMT-Based Bounded Model Checking of C++ Programs.

Mikhail RamalhoMauro FreitasFelipe Rodrigues Monteiro SousaHendrio MarquesLucas C. CordeiroBernd Fischer
Published in: ECBS (2013)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • computer programs
  • probability distribution
  • control flow