hhu-stups / prob-rodinpluginLinks
(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
☆19Updated 3 months ago
Alternatives and similar repositories for prob-rodinplugin
Users that are interested in prob-rodinplugin are comparing it to the libraries listed below
Sorting:
- Static Analyzer and Verifier☆47Updated 7 months ago
- The BToolkit, a toolkit supporting software development with the B-method.☆36Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 months ago
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- TriCera: a model checker for C programs☆25Updated this week
- A Shape Analyzer Based on Symbolic Memory Graphs☆75Updated last week
- SPARK 2014 repository for the Why3 verification platform.☆31Updated this week
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆14Updated 2 months ago
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- A model checker for infinite-state systems.☆74Updated 2 weeks ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- ☆17Updated last year
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- ☆48Updated 10 months ago
- VATA Tree Automata Library☆32Updated 9 months ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- Kodkod solver for relational logic☆75Updated last year
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated this week
- Alloy with browser-based visualizations☆29Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆29Updated 8 months ago
- Read-only mirror of the Klever Git repository☆22Updated last month
- The Ciao Preprocessor☆11Updated 6 months ago
- ☆53Updated this week
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆32Updated this week
- ☆12Updated last year