The VerCors verification toolset for verifying parallel and concurrent software

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Symbolic-execution-based verifier for the Viper intermediate verification language.

Definition of the Viper intermediate verification language.

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

Drop-down terminal for GNOME

Graphical Python debugger which lets you easily view the values of all evaluated expressions