Login / Signup
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.
Lucas C. Cordeiro
Pascal Kesseli
Daniel Kroening
Peter Schrammel
Marek Trtík
Published in:
CAV (1) (2018)
Keyphrases
</>
bounded model checking
model checking
temporal logic
formal verification
database
linear temporal logic