aneris

Similar projects

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

• princetonuniversity/vst444

  Formal verification toolkit

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

• magmide/magmide810

  Verification engine

  Creating a programming language and ecosystem to make formal verification and provably correct software development practical and mainstream for working software engineers.

• distributedcomponents/disel95

  Distributed system framework

  A framework for implementing and verifying distributed systems using Coq

• mit-plv/bedrock57

  Program verifier

  Automated verification of higher-order programs using separation logic

• ejgallego/coq-lsp153

  Coq IDE

  A tool for interactive theorem proving and language support in Coq

• xavierleroy/cdf-mech-sem64

  Formal semantics tools

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

• coq-community/chapar32

  Distributed store verifier

  A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant

• certikos/coqrel20

  Logical relation library

  A Coq-based library for establishing logical relations in formal verification and proof assistance

• imdea-software/htt70

  Verification framework

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

• uwplse/verdi595

  Distributed system verifier

  A framework for formally verifying distributed systems implementations in Coq.

• anssi-fr/dfir4vsphere143

  VMware forensic tool

  A PowerShell module for collecting logs and forensics data from VMware vSphere environments.

• brexhq/substation332

  Security log processor

  A toolkit for routing, normalizing, and enriching security event logs across the cloud

• sri-csl/pvs141

  Verification system

  A verification system for formal methods and specification languages

• xavierleroy/cdf-sem-meca21

  Programming language semantics toolkit

  This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.