key

The KeY System is a formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible. At the core of the system is a novel theorem prover for the first-order Dynamic Logic for Java with a user-friendly graphical interface.

Name

key

Main Program

KeY

Programs

• KeY

Homepage

• https://www.key-project.org

Version

2.12.3

License

• GNU General Public License v2.0 only

Maintainers

• Francesco Gazzetta
• Arne Keller

Platforms

• i686-linux
• x86_64-linux
• aarch64-linux
• armv7l-linux
• armv6l-linux
• powerpc64le-linux
• riscv64-linux
• aarch64-darwin
• x86_64-darwin

Defined

Source