CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
-
Updated
Oct 9, 2026 - Java
#
software-verification
Here are 7 public repositories matching this topic...
A consistency checker for probabilistic software quality models
-
Updated
Feb 1, 2018 - Java
Verification tool for concurrent systems using FSP and Labelled Transition Systems, with LTS visualization, animation, and a working MSC plugin.
java state-machine concurrency ltl model-checking lts software-verification formal-verification msc concurrent-systems fsp ltsa labelled-transition-system finite-state-processes message-sequence-chart
-
Updated
Sep 6, 2026 - Java
Software Verification course project - Fixing bugs using a working example as a specification
-
Updated
Sep 16, 2018 - Java
An annotation processor for generating JML stubs from Java source files.
-
Updated
Aug 14, 2025 - Java
An Intellij IDEA plugin for OpenJML-based Java code verification.
java intellij intellij-plugin software-engineering jml software-verification intellij-idea source-code-analysis openjml
-
Updated
Aug 13, 2025 - Java
Projects and assignments done during Master's Degree course in Informatics Engineering, with specialisation in Software Engineering, at Faculty of Sciences of the University of Lisbon.
internet-of-things concurrent-programming cloud-computing software-engineering software-verification software-testing mobile-development parallel-programming software-design web-applications software-validation
-
Updated
Jun 25, 2022 - Java
Add this topic to your repo
To associate your repository with the software-verification topic, visit your repo's landing page and select "manage topics."