Alternatives and similar repositories for overture:

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

• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• nickbattle / vdmj
  Formal Modelling in VDM
  ☆27Updated this week
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 3 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆146Updated this week
• overturetool / vdm-vscode
  Visual Studio Code extension for VDM language support
  ☆21Updated 3 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆29Updated this week
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 4 months ago
• AdaCore / Certyflie
  ☆34Updated 6 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆121Updated this week
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆40Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 6 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆22Updated 3 months ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆11Updated 3 years ago
• oslc-op / oslc-specs
  OSLC OP specifications and notes
  ☆26Updated 3 weeks ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• hhu-stups / specifications
  A collection of (public) specifications in different formalisms.
  ☆15Updated last year
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆37Updated 11 months ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆21Updated 3 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆67Updated this week
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆37Updated 7 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years 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