AWAlexander WeiglResearcher / Topic-ManagerKIT0000-0001-8446-4598Software (1)Projects (1)Items121-1 of 1KeYKeY is a deductive verification system for Java programsDeductive VerificationFirst-Order LogicFormal Verification+ 3JavaANTLRPerl+ 143610691