JSON parser/printer for VDM-SL

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

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

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

Orchestrator on top of the Typed Ambient Calculus with Resources

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.

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

A little combinatory parser in VDM-SL

a simple virtual machine for VDM by VDM

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

Tamarin models for state continuity of SGX enclave programs

Formal Modeling project M2

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

Formal Psychological Models of Categorization and Learning

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

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

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

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