model-checking

Star

Here are 184 public repositories matching this topic...

ligurio / awesome-software-quality

Star

Software Quality Wiki

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

Updated Jun 26, 2020

tlaplus / tlaplus

Star

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

java algorithms high-performance verification specifications model-checking mit-license tla

Updated Aug 11, 2020
Java

spacejam / tla-rust

Star

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

rust distributed model-checking lock-free tla

Updated May 23, 2017
TLA

thomasp85 / lime

Star

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

r modeling model-checking caret model-evaluation

Updated Nov 12, 2019
R

lemmy / BlockingQueue

Star

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

java specification model-checking fifo fifo-queue tlaplus tlaps

Updated Aug 12, 2020
TLA

parapluu / Concuerror

Star

Concuerror is a stateless model checking tool for Erlang programs.

testing debugging erlang otp tool verification systematic-testing concuerror automatic concurrent-erlang-programs concurrent-programming model-checking model-checker stateless-model-checking

Updated Jun 16, 2020
Erlang

johnyf / tool_lists

Star

Links to tools by subject

tools static-analysis theorem-proving verification proof-assistant smtlib synthesis satisfiability-solver binary-decision-diagrams model-checking satisfiability-modulo-theories formal-methods

Updated Jul 2, 2020

seahorn / seahorn

Star

SeaHorn Verification Framework

llvm static-analysis verification model-checking program-analysis abstract-interpretation horn-clauses

Updated Aug 12, 2020
C

firmai / datagene

Star

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

encoding finance data-structures decomposition model-checking similarity-measures dataset-generation distance-measures synthesizers similarity-score testing-framework synthetic-data predictive-maintenance synthetic-dataset-generation distance-calculations dataset-similarity transformation-recipes data-transformations

Updated Jun 8, 2020
Jupyter Notebook

github / deli

Star

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

Updated Nov 25, 2019
Haskell

informalsystems / apalache

Star

APALACHE: symbolic model checker for TLA+

model-checking smt tla tlaplus

Updated Aug 8, 2020
Scala

alygin / vscode-tlaplus

Star

TLA+ language support for Visual Studio Code

verification specification vscode-extension model-checking formal-methods tla tlc pluscal

Updated Aug 3, 2020
TypeScript

kelvich / tlaplus_jupyter

Star

Jupyter kernel for TLA⁺

model-checking tla jupyter-kernel

Updated Dec 9, 2019
Python

pmer / tla-bin

Star

Command line binaries for the TLA+ language

verification specification model-checking mit-license tla

Updated Apr 23, 2020
Shell

ultimate-pa / ultimate

Star

automata ltl reachability model-checking software-analysis program-analysis termination

Updated Aug 11, 2020
C

moves-rwth / storm

Star

A Modern Probabilistic Model Checker

research fault-tree markov-chain mdp model-checking model-checker ctmc pomdp dtmc

Updated Aug 10, 2020
C++

jayhorn / jayhorn

Star

Static checker for Java

java static-analysis verification model-checking

Updated Apr 20, 2020
Java

mCRL2org / mCRL2

Star

The Git repository for the mCRL2 toolset.

model-checking model-checker term-rewriting mu-calculus

Updated Aug 11, 2020
C++

cristian-mattarei / CoSA

Star

CoreIR Symbolic Analyzer

verilog model-checking satisfiability-modulo-theories formal-methods systemverilog formal-verification hardware-verification

Updated Apr 18, 2020
Python

alcestes / effpi

Star

Verified message-passing programs in Dotty

scala actors processes model-checking dotty

Updated Sep 8, 2019
Scala

utwente-fmt / ltsmin

Star

The LTSmin model checking toolset

promela model-checking petri-net model-checker dve pnml linear-temporal-logic mu-calculus computation-tree-logic

Updated Jun 16, 2020
C

will62794 / tlaplus_repl

Star

A simple REPL for the TLA+ language, using the TLC model checker.

model-checking formal-verification tla

Updated Jun 25, 2020
Python

robkorn / plutus-experimental-smart-contracts

Star

Experimental Smart Contracts In Plutus.

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

Updated Mar 12, 2019
Haskell

jrclogic / SMCDEL

Star

A symbolic model checker for Dynamic Epistemic Logic.

haskell logic symbolic model-checking epistemic-logic

Updated Jul 6, 2020
Haskell

DataScienceSquad / model-describer

Star

model-describer : Making machine learning interpretable to humans

python data-science machine-learning data-mining algorithm analytics scikit-learn machine-learning-algorithms data-visualization data-analysis model-checking machinelearning python-3 python-2 python2 blackbox-testing blackbox blackbox-exporter

Updated Aug 15, 2018
JavaScript

mryndzionek / tlaplus_specs

Star

Different TLA+ specifications, mostly for learning purposes

graphviz model-checking tla tlaplus tla-specifications

Updated Feb 23, 2020
TLA

johnwickerson / memalloy

Star

Memory consistency modelling using Alloy

opencl x86 armv7 model-checking constraint-solver c11 powerpc memory-model nvidia-gpus compiler-design

Updated Oct 7, 2019
OCaml

draeger-lab / ModelPolisher

Star

ModelPolisher accesses the BiGG Models knowledgebase to annotate SBML models.

systems-biology model-checking knowledge-representation sbml bigg-models-knowledgebase model-annotation

Updated Aug 5, 2020
Java

ftsrg / theta

Star

Generic, modular and configurable model checking framework

research tool abstraction model-checking

Updated Aug 12, 2020
Java

ldv-klever / klever

Star

Klever Git repository read-only mirror

c static-analysis verification specification model-checking formal-methods software-verification formal-verification formal-specification

Updated Aug 12, 2020
Python

Improve this page

Add a description, image, and links to the model-checking topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the model-checking topic, visit your repo's landing page and select "manage topics."

Learn more