48 citations · 192 across the 15 of their papers we have counts for
1 paper · 1 filter
Romain Brenguier, Lucas Cordeiro, Daniel Kroening +1
JBMC is an open-source SAT- and SMT-based bounded model checking tool for verifying Java bytecode. JBMC relies on an operational model of the Java libraries, which conservatively a…