JSON parser/printer for VDM-SL

ILA of LMAC

TLA+ specifications for BFT algorithms

My third year University dissertation, Term Rewriting System

Event-B ✔️ formal specification, verification, and refinement assignments 🔬 for module: CA648

A model checking specification written in NuSMV that specifies a model of a single lift elevator system.

Formal specification for student class written in VDM++

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

Inference programming language specification

Specifications of bottom-up parsers in VDM-SL

Ruler of the Seas is a simulation of a competitive multiplayer table top game. This repository contains the Abstract Machines, Refinements and Implementation of the game.

Specification and formal verification of traffic light control system.

Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc

B specification for a robot moving around a simple maze

This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.

a collection of benchmarks for VDM-SL interpreters/code generators

Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"

A little combinatory parser in VDM-SL