JSON parser/printer for VDM-SL
-
Updated
Dec 25, 2013
JSON parser/printer for VDM-SL
VDM-SL execution library using public/private VDMPad servers.
A model checking specification written in NuSMV that specifies a model of a single lift elevator system.
A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.
Formal specification for student class written in VDM++
A formally specified UNO game using B-Method
Paxos algorithm specified and proved in TLA+/PlusCal, with separate processes and invariants for proposers and acceptors.
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
Example implementation of Arm's Architecture Specification Language (ASL)
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
B specification for a robot moving around a simple maze
Formal models of vac protocols
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
A little combinatory parser in VDM-SL
a collection of benchmarks for VDM-SL interpreters/code generators
a simple virtual machine for VDM by VDM
Add a description, image, and links to the formal-specification topic page so that developers can more easily learn about it.
To associate your repository with the formal-specification topic, visit your repo's landing page and select "manage topics."