Group: org.key-project - All Dependencies

docking-frames-base · ${project.name}

docking-frames-common · ${project.name} is a user-level framework

docking-frames-core · ${project.name} is a core library

projects · Core functionality (terms, rules, prover, ...) for deductive verification of Java programs

projects · Example project to use KeY's APIs

projects · API for using KeY for maintaining references between objects in proofs

projects · Support for the RS3 Information Flow Language (RIFL)

projects · API for using KeY as a symbolic execution engine for Java programs

projects · Example project to use KeY's APIs

projects · Test Case Generation based on proof attempts.

projects · Helper to remove generics from Java source code

projects · User interface for the deductive verification of Java programs

projects · Utility library of the key-project

projects · Proof exploration capabilities for key.ui

projects · Management of larger verification with KeY.

projects · Computiation of the proof core (the essential rule applications to close a proof)

projects · Extension for key.ui to access the Test Case Generation graphically

projects · Fork of the Recoder -- a parser/ast for Java with extensions for KeY-Java dialects.