JSON parser/printer for VDM-SL

🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.

Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods

Orchestrator on top of the Typed Ambient Calculus with Resources

A little combinatory parser in VDM-SL

a simple virtual machine for VDM by VDM

Formal Modeling project M2

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs

Repair and Generation of Formal Models Using Synthesis (User Interface)

This is a repository that holds all PRISM models developed for my Master's thesis that extend the Task-Graph Scheduling problem to a concurrent stochastic game where the notion of Nash equilibrium is considered.

SMC2, or Secure Multiparty Computation in C, is the formalization and extension of the PICCO compiler, designed for general purpose secure multiparty computations.

HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm

Tamarin models for state continuity of SGX enclave programs

CaskMan - An OWL ontology to model capabilities and skills in manufacturing

ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk

TLA+ specifications of various protocols used by wallets in the nitro protocol.

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

Formal Psychological Models of Categorization and Learning