formal-models

There are 1 repository under formal-models topic.

ajwills72 / catlearn
Formal Psychological Models of Categorization and Learning
categorization open-science formal-models learning-theory learning psychology cognitive-science open-models
Language:R 22
grockious / deepsynth
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
deep-learning reinforcement-learning montezuma-revenge formal-languages formal-models automaton
Language:Python 17
statechannels / tla-specs
TLA+ specifications of various protocols used by wallets in the nitro protocol.
blockchain ethereum formal-models state-channels tlaplus
Language:TLA 16
tomooda / ViennaTalk
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
pharo vdm-sl vdm smalltalk formal-methods formal-specification formal-models
Language:Smalltalk 14
CaSkade-Automation / CaSkMan
CaskMan - An OWL ontology to model capabilities and skills in manufacturing
machine-capabilities machine-skills semantic-web ontology industry-standard industry-40 industrial-automation automation formal-models
7
OSUSecLab / SGX-Enclave-Formal-Verification
Tamarin models for state continuity of SGX enclave programs
tamarin-prover formal-models intel-sgx
Language:Python 6
LiSSA-Approach / LiSSA-Experiments
Experiments (Prototypes) for LiSSA -> Now moved to ArDoCo-Core
diagram formal-models sketch sketch-recognition software-architecture informal-models
Language:Kotlin 2
amypritc / SMC2
SMC2, or Secure Multiparty Computation in C, is the formalization and extension of the PICCO compiler, designed for general purpose secure multiparty computations.
compiler formal-models secure-multiparty-computation smc
Language:C++ 1
erwanM974 / hibou_label
HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm
operational-semantics formal-models interaction-models sequence-diagrams distributed-systems multi-trace-analysis
Language:Rust 1
afonsojramos / feup-mfes
Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
vdmpp formal-models formal-methods mfes mfes-feup feup
Language:TeX 0
eldondanonino / Formal-Modeling-Mini-Project
Formal Modeling project M2
ctl-formulas formal-models kripke-structure
Language:JavaScript 0
georgcon / TSG-models
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.
formal-models formal-verification
0
Joshua27 / BSynthesis
Repair and Generation of Formal Models Using Synthesis (User Interface)
b-method formal-models model-checking model-repair prob program-synthesis
Language:Java 0
khoras / ambient-engine
Orchestrator on top of the Typed Ambient Calculus with Resources
distributed-systems ambient calculus orchestrator type-system formal-models
0
tomooda / VCParser
A little combinatory parser in VDM-SL
vdm vdm-sl formal-methods formal-specification formal-models parser-combinators parser peg
0
vinahradau / misc
alloy-analyzer formal-languages formal-verification formal-methods formal-specification formal-models z-notation credit-card social-network barber-paradox set-theory access-control security rbac mandatory-access-control discretionary-access-control role-based-access-control role-based access-control-list access-control-patterns
Language:Alloy 0
aquelemiguel / feup-mfes
🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
vdm vdmpp overture formal-models
Language:Java
maksym-bortin / a_framework
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
concurrency formal-models formal-verification
Language:Isabelle
tomooda / JSONUtil
JSON parser/printer for VDM-SL
vdm vdm-sl json formal-methods formal-specification formal-models
tomooda / ViennaVM
a simple virtual machine for VDM by VDM
vdm-sl vm vdm formal-methods formal-specification formal-models
Language:C