Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: modelchecking
DerYeger/apollo-frontend
A web application for first-order model checking in graph structures.
Language: TypeScript - Size: 24.9 MB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 5 - Forks: 1
DerYeger/apollo-backend
A web application for first-order model checking in graph structures.
Language: Kotlin - Size: 5.18 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 3 - Forks: 1
DerYeger/apollo
A web application for first-order model checking in graph structures.
Size: 38.5 MB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 3 - Forks: 0
DerYeger/apollo-admin
A web application for first-order model checking in graph structures.
Language: Vue - Size: 7.95 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1
martin-neuhaeusser/erlang-verifier
LTL model checking of Core-Erlang using term rewriting techniques.
Language: Erlang - Size: 85 KB - Last synced: 8 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 1
konnov/bymc
Byzantine model checker
Language: C - Size: 8.13 MB - Last synced: 8 months ago - Pushed: over 1 year ago - Stars: 19 - Forks: 5
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.
Size: 188 KB - Last synced: 8 months ago - Pushed: almost 7 years ago - Stars: 4 - Forks: 0
Nax10823/pktlab-spec
The PacketLab Access Control Design TLA+ Specification
Language: TLA - Size: 9.77 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
arey0pushpa/pyZ3
Encoding Vesicle Traffic System in Z3 and CBMC
Language: TeX - Size: 13 MB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 1
opensourceBIM/NL-MPG-calc
Code compliance checking for Chapter 5 of the Dutch building decree
Language: Java - Size: 912 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 4
IllinoisReliableAutonomyGroup/HooVer
HooVer: a statistical model checking tool with optimistic optimization
Language: Python - Size: 2.3 MB - Last synced: 4 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0
enmag/F3
F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.
Language: C - Size: 39.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 2
jgru/evidential-calculator
Calculate evidence in automata with the help of the model checker NuSMV
Language: Python - Size: 109 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0
wtakuo/spin-env
Docker image for Spin model checker
Language: Dockerfile - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
davidebasile/FORTE2020
This is the Uppaal Stratego model published at FORTE2020
Size: 153 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
