Login / Signup

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution).

Stephan FalkeFlorian MerzCarsten Sinz
Published in: TACAS (2013)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • linear temporal logic
  • temporal logic
  • multi agent systems
  • markov chain
  • improved algorithm
  • answer sets
  • optimal solution
  • international competition