Formal Psychological Models of Categorization and Learning
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
TLA+ specifications of various protocols used by wallets in the nitro protocol.
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
CaskMan - An OWL ontology to model capabilities and skills in manufacturing
Tamarin models for state continuity of SGX enclave programs
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
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.
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."