Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code a…
Automatically exported from code.google.com/p/straightener
FreeBoogie is a Java implementation of the "World's Best Program Verification System."
This is the Java frontend which parses Java 1.5 bytecode and Java 1.4 source code. It is used as the compiler foundation of several tools including ESC/Java2 and RCC.
SmallEiffel and SmartEiffel Ports to AmigaDE/Elate