Alternatives and similar repositories for BToolkit:

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

• 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"
  ☆106Updated 3 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆29Updated 3 weeks ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆49Updated 5 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆73Updated this week
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated last month
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated last month
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆41Updated this week
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated 4 months ago
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆112Updated 2 weeks ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
  ☆10Updated last year
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆22Updated 2 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 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 6 months ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆180Updated 6 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 3 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated last year
• OneWingedShark / Byron
  The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
  ☆62Updated 4 years ago