Sign in

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.

Lucas C. CordeiroPascal KesseliDaniel KroeningPeter SchrammelMarek Trtík
Published in: CAV (1) (2018)
Keyphrases
  • bounded model checking
  • model checking
  • temporal logic
  • formal verification
  • database
  • linear temporal logic