Alternatives and similar repositories for vdm-vscode:

Users that are interested in vdm-vscode are comparing it to the libraries listed below

• nickbattle / vdmj
  Formal Modelling in VDM
  ☆27Updated this week
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆56Updated 2 months ago
• rems-project / lem
  Lem semantic definition language
  ☆137Updated this week
• coq / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆21Updated this week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• overturetool / overture
  The Overture Tool
  ☆48Updated 4 months ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 3 years ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆10Updated 7 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆92Updated this week
• isabelle-prover / isabelle-linter
  Linter component for Isabelle.
  ☆18Updated 7 months ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆28Updated 4 years ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated 3 weeks ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆89Updated 7 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆159Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated this week
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆113Updated 3 weeks ago
• david-christiansen / ssft24
  ☆16Updated 8 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆24Updated last week
• coq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆37Updated 6 months ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• coq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆113Updated 3 weeks ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last month
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆225Updated 2 months ago
• coq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆13Updated 2 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 7 months ago
• verifast / verifast
  Research prototype tool for modular formal verification of C, Rust and Java programs
  ☆386Updated this week
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆212Updated 3 weeks ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆52Updated last year
• data61 / PSL
  ☆66Updated 3 months ago