JSON parser/printer for VDM-SL
-
Updated
Dec 25, 2013
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
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
Add a description, image, and links to the formal-models topic page so that developers can more easily learn about it.
To associate your repository with the formal-models topic, visit your repo's landing page and select "manage topics."