Ctrl K

Software Projects Organisations Communities

Ctrl K

Limited functionality: Your browser does not support JavaScript.

AW

Alexander Weigl

Researcher / Topic-Manager

KIT

0000-0001-8446-4598

Items

1-1 of 1

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
ANTLR
Perl
+ 14