Sign in

JBMC: A Bounded Model Checking Tool for Java Bytecode.

Romain BrenguierLucas C. CordeiroDaniel KroeningPeter Schrammel
Published in: CoRR (2023)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • linear temporal logic
  • temporal logic
  • database
  • information systems
  • software development
  • efficient execution