modelchecking
There are 19 repositories under modelchecking topic.
konnov/bymc
Byzantine model checker
aleemrazzaq/ARCompactDeviceInfo
A detail info lightweight Cocoa library for detecting current device Support for Secure Enclave, FaceID, TouchID, Device Model, Screen Size and iOS Version
DerYeger/apollo-frontend
A web application for first-order model checking in graph structures.
DerYeger/apollo-backend
A web application for first-order model checking in graph structures.
enmag/F3
F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.
martin-neuhaeusser/erlang-verifier
LTL model checking of Core-Erlang using term rewriting techniques.
adishreea/Elevator-Model-Checking-using-nuXmv
A model designed for an elevator that also checks the constraints and specifications for a finite state machine. Also contains a finite state machine for multiplication.
DerYeger/apollo
A web application for first-order model checking in graph structures.
konnov/apalache-examples
Examples of efficiently using Apalache
DerYeger/apollo-admin
A web application for first-order model checking in graph structures.
wtakuo/spin-env
Docker image for Spin model checker
arey0pushpa/pyZ3
Encoding Vesicle Traffic System in Z3 and CBMC
davidebasile/FORTE2020
This is the Uppaal Stratego model published at FORTE2020
IllinoisReliableAutonomyGroup/HooVer
HooVer: a statistical model checking tool with optimistic optimization
mbeddr/mps-logical-view-checks
An MPS language that supports adding info, warning and error messages to the logical view
Nax10823/pktlab-spec
The PacketLab Access Control Design TLA+ Specification
opensourceBIM/NL-MPG-calc
Code compliance checking for Chapter 5 of the Dutch building decree
jgru/evidential-calculator
Calculate evidence in automata with the help of the model checker NuSMV
dxcccii/LVMproject1
1st project for model checking class: nonogram SAT solver