Alternatives and similar repositories for BToolkit:

Users that are interested in BToolkit are comparing it to the libraries listed below

• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆29Updated 2 weeks ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆28Updated 4 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆103Updated 3 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆48Updated 4 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆52Updated 2 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆73Updated 3 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• robbertkrebbers / ch2o
  ☆88Updated 2 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆57Updated last month
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 6 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆66Updated last year
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated 2 months ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆70Updated last month
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• rems-project / lem
  Lem semantic definition language
  ☆134Updated last month
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆39Updated 10 years ago
• OneWingedShark / Byron
  The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
  ☆61Updated 4 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆102Updated 4 months ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆180Updated 6 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆117Updated this week
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆82Updated last month
• unison-code / unison
  Unison's source code
  ☆105Updated 10 months ago
• hhu-stups / prob-rodinplugin
  (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
  ☆19Updated last month