magmide

Similar projects

Found by comparing what the projects do, not just their names.

• xavierleroy/cdf-mech-sem64

  Formal semantics tools

  Development of formal semantics and verification tools for imperative languages and functional programming languages.

• imdea-software/htt70

  Verification framework

  A verification system for reasoning about sequential heap-manipulating programs using separation logic and dependent types

• imdea-software/fcsl-pcm26

  Monoid library

  A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.

• logsem/aneris33

  System verification framework

  A framework for developing and verifying distributed systems using separation logic

• mit-plv/bedrock57

  Program verifier

  Automated verification of higher-order programs using separation logic

• verifytests/verify.moq14

  Mock verifier

  Adds Verify support for Moq types to verify mock behavior and assertions

• wasmcert/wasmcert-coq100

  Wasm formaliser

  A formalisation of WebAssembly in Coq to provide proof of correctness and type safety for its programming model.

• princetonuniversity/vst444

  Formal verification toolkit

  A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant

• mit-plv/koika143

  Hardware design language

  A formal language for designing and verifying rule-based hardware systems

• engineeringsoftware/mcoq30

  Code tester

  Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.

• mit-plv/kami143

  Hardware specification platform

  A platform for high-level parametric hardware specification and modular verification

• lukaszcz/coqhammer220

  Proof automation tool

  A tool for automating proof search and verification in dependent type theory using machine learning and external provers.

• sifive/prockami22

  Processor simulator

  Formal verification and implementation of RISC-V processor designs using Coq.

• mgrabovsky/fm-notes21

  Coq handbook

  A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.

• mmcco/verified-parser-example20

  Formal Parser

  A formally verified parser implementation using Coq and OCaml