AW
Alexander Weigl
12
1-2 of 2
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
36
1099
JMLtk
A Toolkit for the Java Modeling Language containing JML/Java parser, AST, mid- (like code transformations) to high-level tools (like verification condition and stub generation, JML statistics).
- Java
- Kotlin
- Gherkin
- + 5
1
0