edwardcrichton / BToolkit
The BToolkit, a toolkit supporting software development with the B-method.
☆34Updated 5 months ago
Related projects: ⓘ
- A Shape Analyzer Based on Symbolic Memory Graphs☆72Updated last month
- epsilon is a scanner generator☆21Updated 2 years ago
- SPARK 2014 repository for the Why3 verification platform.☆29Updated last month
- ☆34Updated 3 years ago
- Software Language Engineering Body of Knowledge☆47Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Kodkod solver for relational logic☆72Updated last year
- Public snapshots of "ACSL by Example"☆99Updated 3 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago
- ☆48Updated 8 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆26Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 3 months ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated 2 months ago
- Type checking ifdef variability☆76Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆109Updated 6 years ago
- The LTSmin model checking toolset☆52Updated 6 months ago
- The Pascal-F Verifier☆46Updated 7 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- The People's Verification System☆134Updated last week
- Unison's source code☆101Updated 6 months ago
- MLWorks is a Standard ML compiler and development environment.☆179Updated 6 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago
- A Squeak/Smalltalk VM written in RPython.☆83Updated 10 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆51Updated 15 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Updated 3 years ago
- VATA Tree Automata Library☆31Updated last month
- Evolutionary optimization of extant software☆26Updated 10 years ago
- RV-Monitor core system code☆16Updated 3 years ago
- Pads format description language☆20Updated 8 years ago