model-checking topic

Verification framework and tool for higher-order Scala programs

epfl-lara

Synchronous fault-tolerant distributed algorithms encoded in TLA+

istoilkovska

Azure Cosmos TLA+ specifications

tlaplus

The LTSmin model checking toolset

utwente-fmt

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

imitator-model-checker

TChecker is an open-source verification tool for timed automata

ticktac-project

Find deadlocks in Rust code with Petri net model checking

hlisdero

Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

ltlfuzzer

Repo tổng hợp các bài thực hành và bài làm trên hệ thống ELSE

yurukute

Baum-Welch for all kind of Markov models

Rapfff