Alternatives and similar repositories for overture

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

• SRI-CSL / PVS
  The People's Verification System
  ☆167Updated last week
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆168Updated last week
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆35Updated 2 weeks ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆38Updated 2 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆73Updated 3 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆64Updated 3 months ago
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆294Updated 2 weeks ago
• nickbattle / vdmj
  Formal Modelling in VDM
  ☆28Updated this week
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆40Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆84Updated 2 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆37Updated last year
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆42Updated 2 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆49Updated 5 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆56Updated last month
• padsproj / pads
  Pads format description language
  ☆21Updated 10 years ago
• AdaCore / spark2014
  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…
  ☆295Updated this week
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• AdaCore / Certyflie
  ☆35Updated 7 years ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆31Updated 2 years ago
• AdaCore / langkit
  Language creation framework.
  ☆90Updated last week
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated 3 weeks ago
• KestrelInstitute / Specware
  Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…
  ☆24Updated 3 years ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆46Updated this week
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 5 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆35Updated 9 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated 2 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆69Updated last week
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year