edwardcrichton / BToolkitLinks
The BToolkit, a toolkit supporting software development with the B-method.
☆37Updated last year
Alternatives and similar repositories for BToolkit
Users that are interested in BToolkit are comparing it to the libraries listed below
Sorting:
- Release snapshots of the Frama-C platform for source code analysis☆179Updated 5 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆77Updated 2 months ago
- Public snapshots of "ACSL by Example"☆119Updated 6 months ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Updated 5 years ago
- SPARK 2014 repository for the Why3 verification platform.☆34Updated last week
- The People's Verification System☆163Updated this week
- ☆52Updated 9 years ago
- Frama-C and WP tutorial☆67Updated 8 months ago
- Linux kernel library functions formally verified.☆52Updated 3 weeks ago
- persistent monitor (for static source code analysis, GCC based)☆61Updated last year
- Static Analyzer and Verifier☆51Updated last year
- ☆60Updated 3 weeks ago
- C Intermediate Language☆386Updated 2 years ago
- Semantics of C in K☆320Updated 3 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Updated 5 years ago
- Unison's source code☆109Updated last year
- 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 …☆27Updated last month
- SRI Sally: A model checker for infinite-state systems.☆75Updated 4 months ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Continuation Passing C☆115Updated 6 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- Sources for the ANSI/ISO C Specification Language manual☆63Updated last month
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆54Updated 5 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆207Updated last year
- Language creation framework.☆89Updated last week
- An attribute grammar-based programming language for composable language extensions☆68Updated this week
- git mirror of the Munich isabelle hg repository☆129Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago