hhu-stups / prob-rodinpluginLinks
(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
☆19Updated last week
Alternatives and similar repositories for prob-rodinplugin
Users that are interested in prob-rodinplugin are comparing it to the libraries listed below
Sorting:
- Type checking ifdef variability☆78Updated 4 years 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
- The Ultimate program analysis framework.☆227Updated this week
- ☆17Updated last year
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆52Updated 5 years ago
- Static Analyzer and Verifier☆48Updated 10 months ago
- SMTInterpol interpolating SMT solver☆68Updated 3 weeks ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆54Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated last month
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- TriCera: a model checker for C programs☆25Updated last week
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆63Updated this week
- A framework for testing compilers' type checkers☆56Updated last year
- Public snapshots of "ACSL by Example"☆114Updated 3 months ago
- Release snapshots of the Frama-C platform for source code analysis☆173Updated 4 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆248Updated this week
- Sources for the ANSI/ISO C Specification Language manual☆60Updated 2 weeks ago
- The LTSmin model checking toolset☆59Updated 10 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated last week
- SymDiff-Differential-Program-Verifier☆37Updated 2 weeks ago
- Apron Numerical Abstract Domain Library☆133Updated 5 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆160Updated last month
- Clade is a tool for extracting information about software build process and source code☆22Updated last year
- SRI Sally: A model checker for infinite-state systems.☆73Updated last month
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year