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.
-
Updated
Aug 14, 2017
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.
LTL model checking of Core-Erlang using term rewriting techniques.
Encoding Vesicle Traffic System in Z3 and CBMC
A detail info lightweight Cocoa library for detecting current device Support for Secure Enclave, FaceID, TouchID, Device Model, Screen Size and iOS Version
Docker image for Spin model checker
This is the Uppaal Stratego model published at FORTE2020
The PacketLab Access Control Design TLA+ Specification
Code compliance checking for Chapter 5 of the Dutch building decree
F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.
A web application for first-order model checking in graph structures.
HooVer: a statistical model checking tool with optimistic optimization
A web application for first-order model checking in graph structures.
Calculate evidence in automata with the help of the model checker NuSMV
A web application for first-order model checking in graph structures.
A web application for first-order model checking in graph structures.
An MPS language that supports adding info, warning and error messages to the logical view
Examples of efficiently using Apalache
1st project for model checking class: nonogram SAT solver
Add a description, image, and links to the modelchecking topic page so that developers can more easily learn about it.
To associate your repository with the modelchecking topic, visit your repo's landing page and select "manage topics."