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
  ☆28Updated 2 weeks ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆64Updated 2 months ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆68Updated this week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated last month
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Updated 6 months ago
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated 2 weeks ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆33Updated 5 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated this week
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆586Updated 2 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆187Updated 4 years ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆115Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated this week
• verifast / verifast
  Research prototype tool for modular formal verification of C, Rust and Java programs
  ☆458Updated this week
• goblint / analyzer
  Static analysis framework for C
  ☆227Updated this week
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 5 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆311Updated last month
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆181Updated 5 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆279Updated 3 weeks ago
• overturetool / overture
  The Overture Tool
  ☆50Updated last month
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆398Updated last year
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆88Updated 4 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆120Updated last week
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆50Updated last week
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆75Updated 5 months ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆63Updated 4 years ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆239Updated last month
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 6 months ago