Sign in
Ctrl K
Chalmers University of Technology

Chalmers University of Technology

Gothenburg, Sweden

education
funder
www.chalmers.se
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