JMLUnit

swMATH475MaRDI QIDQ13232FDOQ13232

Author name not available (Why is that?)

Official website: http://www.eecs.ucf.edu/~leavens/JML2/docs/man/jmlunit.html

Described by source

• JMLUnit: the next generation

Cited In (5)

• IdentityHashMap
• Verifying Whiley programs with Boogie
• OpenJML
• JBMC
• Formal specification and verification of JDK's identity hash map implementation

This page was built for software: JMLUnit