Alternatives and similar repositories for overture:

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

• ELTE-Soft / txtUML
  Textual, eXecutable, Translatable UML
  ☆26Updated 5 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 4 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆29Updated 2 weeks ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 2 years ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆36Updated 9 months ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 2 months ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• nickbattle / vdmj
  Formal Modelling in VDM
  ☆27Updated this week
• SRI-CSL / PVS
  The People's Verification System
  ☆145Updated this week
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆128Updated last year
• markusvoelter / mpsintrocourse
  ☆43Updated 11 months ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆226Updated this week
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 years ago
• overturetool / vdm-vscode
  Visual Studio Code extension for VDM language support
  ☆21Updated last month
• AdaCore / Certyflie
  ☆34Updated 6 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆52Updated 2 months ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 2 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆17Updated 7 months ago
• 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…
  ☆149Updated this week
• shonfeder / tokenize
  A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
  ☆11Updated 5 years ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆62Updated 7 months ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• rems-project / lem
  Lem semantic definition language
  ☆134Updated last month
• eclipse-gemoc / gemoc-studio
  gemoc-studio
  ☆25Updated 2 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated this week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆23Updated this week