Alternatives and similar repositories for BToolkit

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

• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆76Updated last week
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆115Updated 4 months ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆30Updated 4 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆174Updated 4 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated 3 weeks ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 3 weeks ago
• SRI-CSL / PVS
  The People's Verification System
  ☆161Updated this week
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆65Updated 6 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 11 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆53Updated 5 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆61Updated last week
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆73Updated 2 months ago
• mangpo / greenthumb
  ☆89Updated 3 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆315Updated 3 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• ths-rwth / smtrat
  ☆58Updated 2 months ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 3 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆84Updated last week
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆249Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 11 months ago