Alternatives and similar repositories for BToolkit

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

• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆111Updated last month
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆75Updated 3 weeks ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆31Updated last week
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆28Updated 4 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆59Updated last year
• rewriting / tom
  ☆34Updated 4 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 weeks ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆57Updated last week
• emina / kodkod
  Kodkod solver for relational logic
  ☆76Updated last year
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 3 years ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆74Updated this week
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated last week
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆25Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆155Updated this week
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 9 months ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• hhu-stups / prob-rodinplugin
  (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
  ☆19Updated this week
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 6 years ago
• davidjbacon / SETL
  GNU SETL
  ☆30Updated 4 months ago
• smtlib / jSMTLIB
  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 3 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆202Updated last year
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆42Updated this week