Alternatives and similar repositories for overture

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

• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆73Updated 3 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆35Updated 3 weeks ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆64Updated 3 months ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆56Updated 2 months ago
• SRI-CSL / PVS
  The People's Verification System
  ☆168Updated 2 weeks ago
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆297Updated last week
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆40Updated last year
• 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 2 weeks ago
• AdaCore / Certyflie
  ☆35Updated 7 years ago
• nickbattle / vdmj
  Formal Modelling in VDM
  ☆29Updated this week
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆38Updated 2 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• metaborg / strategoxt
  The Stratego program transformation language
  ☆35Updated 9 months ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆84Updated 2 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆24Updated 9 years ago
• dubrousky / mockmma
  ☆30Updated 8 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆42Updated 2 months ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 7 months ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆38Updated last year
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 6 years ago
• vscosta / yap
  ☆62Updated 2 months ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆33Updated 5 years ago
• AdaCore / langkit
  Language creation framework.
  ☆90Updated this week
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆50Updated 4 months ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated 4 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆31Updated 2 years ago