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
  ☆158Updated this week
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated this week
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆288Updated this week
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆69Updated 3 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆35Updated 9 months ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆36Updated last year
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 11 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated last week
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆60Updated last week
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆126Updated this week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆42Updated 4 months ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• AdaCore / spark2014
  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…
  ☆284Updated this week
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆134Updated 2 months ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆43Updated this 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…
  ☆160Updated last month
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆66Updated 7 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆50Updated 2 months ago
• KestrelInstitute / Specware
  Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…
  ☆23Updated 3 years ago
• abstools / abstools
  The ABS modeling language and surrounding tools
  ☆37Updated 3 weeks ago
• AdaCore / langkit
  Language creation framework.
  ☆84Updated last week
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆29Updated 4 years ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago