All Categories → Software Quality → model-checking

Top 33 model-checking open source projects

APALACHE: symbolic model checker for TLA+

✭ 187

scala smt model-checking

Software Quality Wiki

Software Quality Wiki

✭ 1,991

testing learning verification ebooks courses model-checking formal-methods quality-assurance software-testing

DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)

✭ 156

jupyter-notebook data-structures finance encoding testing-framework model-checking

TLA+ language support for Visual Studio Code

✭ 152

typescript vscode-extension verification specification model-checking formal-methods

✭ 148

haskell dsl performance performance-analysis modeling performance-testing performance-tuning model-checking

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

✭ 1,618

java TLA HTML TeX Batchfile AspectJ algorithms high-performance verification mit-license model-checking specifications

Tlaplus jupyter

Jupyter kernel for TLA⁺

✭ 105

python model-checking

✭ 95

c program-analysis model-checking

CoreIR Symbolic Analyzer

✭ 35

python verilog model-checking formal-methods

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

✭ 880

rust distributed lock-free model-checking

IMITATOR

✭ 10

synthesis model-checking

Model Describer

model-describer : Making machine learning interpretable to humans

✭ 22

javascript python python2 machine-learning data-science algorithm data-visualization analytics data-analysis scikit-learn data-mining machine-learning-algorithms machinelearning model-checking

Local Interpretable Model-Agnostic Explanations (R port of original Python package)

✭ 438

r modeling model-checking

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

✭ 343

java specification model-checking

Concuerror is a stateless model checking tool for Erlang programs.

✭ 277

erlang testing tool debugging verification otp automatic concurrent-programming codecov model-checking

Links to tools by subject

✭ 270

tools static-analysis verification synthesis model-checking formal-methods

SeaHorn Verification Framework

✭ 270

c static-analysis llvm verification program-analysis model-checking

The P programming language.

✭ 2,309

C#OpenEdge ABL java c python ANTLR robotics asynchronous event-driven drones distributed-systems state-machine systematic-testing model-checking p

TLA+ language support for Visual Studio Code

✭ 213

typescript javascript CSS HTML TLA shell verification specification vscode-extension model-checking formal-methods tlc pluscal

Static checker for Java

✭ 54

java static-analysis verification model-checking

Intrepyd Model Checker

✭ 14

python java ANTLR c pypi z3 model-checking formal-methods automated-tests smt-solver formal-verification model-checker

Kani Rust Verifier

✭ 229

rust python verification model-checking

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

✭ 20

java ocaml Xtend ANTLR Standard ML Dockerfile fault-tree model-checking attack-defense system-engineering cyber-resiliency behavioral-analysis architecture-analysis

A multi-formalism, multi-solution model-checker centered on the language GAL

✭ 17

java Promela Xtend perl HTML SMT eclipse ltl safety model-checking petri-net model-driven-development ctl

The Git repository for the mCRL2 toolset.

✭ 67

C++python CMake ruby GAP shell model-checking model-checker term-rewriting mu-calculus

Reads a state transition system and performs property checking

✭ 41

C++Verilog SystemVerilog python shell Makefile verilog model-checking ic3 formal-verification pdr

Verified message-passing programs in Dotty

✭ 42

scala python shell actors processes model-checking dotty

A symbolic model checker for Dynamic Epistemic Logic.

✭ 31

haskell HTML Yacc RPC logic symbolic model-checking epistemic-logic

Memory consistency modelling using Alloy

✭ 23

ocaml Alloy HTML CSS shell python Makefile opencl x86 armv7 model-checking constraint-solver c11 powerpc memory-model nvidia-gpus compiler-design

Different TLA+ specifications, mostly for learning purposes

✭ 25

TLA shell graphviz model-checking tlaplus tla-specifications

Read-only mirror of the Klever Git repository

✭ 18

python javascript c HTML static-analysis verification specification model-checking formal-methods software-verification formal-verification formal-specification

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

✭ 34

java ANTLR c SWIG kotlin Dockerfile research tool abstraction model-checking

plutus-experimental-smart-contracts

Experimental Smart Contracts In Plutus.

✭ 34

haskell smart-contracts model-checking formal-methods plutus mcrl2 cardano

1-33 of 33 model-checking projects