Sign in
Ctrl K
University of Koblenz and Landau

University of Koblenz and Landau

Mainz, Germany

education
www.uni-koblenz-landau.de
ROR info
Wikipedia
Map
Software (1)Projects (0)Releases (86)
0Filters
Keywords
0
Program languages
0
Licenses
0
1-1 of 1
Logo for KeY

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • HTML
  • ANTLR
  • + 15
36
1059