prototypes
Detail
Publication date: 1 de June, 2021SpecJava
SpecaJava prototype is an extension to the Java compiler for supporting specifications and the verification of Java programs against those specifications at compile time, fully automatic without user interaction.
| URL | http://ctp.di.fct.unl.pt/~tsantos/tools/specjava.zip |
|---|---|
| Date | 01/01/2010 |