JBMC

MaRDI QIDQ37641swMATHFDO

Official website https://www.cprover.org/jbmc/

Cited in

(13)

• IdentityHashMap
• Deductive verification of floating-point Java programs in KeY
• JMLUnit
• HECTOR
• OpenJML
• CodeHint
• JSketch
• SyPet
• JayHorn
• Bex
• coneqct
• QF_FP
• Formal specification and verification of JDK's identity hash map implementation

This page was built for software: JBMC