SeaHorn Verification Framework
The LTSmin model checking toolset
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
Repo tổng hợp các bài thực hành và bài làm trên hệ thống ELSE
Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
CTL symbolic model-checker based on libDDD and libITS
Probabilistic model checker
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
bioNuSMV is a fork and extension of https://github.com/hklarner/NuSMV-a, which adds a handful of features to ease the use of model checking by biological modelers, in particular, in the context of the verification of qualitative regulatory networks
VERIFIER of ACCESS CONTROL
Synthesis of a controller for system with linear dynamics using restricted LTL formula
MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs
Formal Verification of a Data and Energy integrated network that supports RF energy harvesting
Fault-tolerant industrial controller on FreeRTOS / ARM Cortex-M3. Eight safety properties proved by exhaustive state-space exploration over 74 states and 42,624 transitions.
Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.
To associate your repository with the model-checking topic, visit your repo's landing page and select "manage topics."