Projects in Awesome Lists tagged with formal-models
A curated list of projects in awesome lists tagged with formal-models .
https://github.com/ajwills72/catlearn
Formal Psychological Models of Categorization and Learning
categorization cognitive-science formal-models learning learning-theory open-models open-science psychology
Last synced: 26 Mar 2025
https://github.com/tomooda/viennatalk
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
formal-methods formal-models formal-specification pharo smalltalk vdm vdm-sl
Last synced: 24 Apr 2025
https://github.com/caskade-automation/caskman
CaskMan - An OWL ontology to model capabilities and skills in manufacturing
automation formal-models industrial-automation industry-40 industry-standard machine-capabilities machine-skills ontology semantic-web
Last synced: 24 Feb 2025
https://github.com/CaSkade-Automation/CaSkMan
CaskMan - An OWL ontology to model capabilities and skills in manufacturing
automation formal-models industrial-automation industry-40 industry-standard machine-capabilities machine-skills ontology semantic-web
Last synced: 14 Mar 2025
https://github.com/OSUSecLab/SGX-Enclave-Formal-Verification
Tamarin models for state continuity of SGX enclave programs
formal-models intel-sgx tamarin-prover
Last synced: 20 Apr 2025
https://github.com/tomooda/vcparser
A little combinatory parser in VDM-SL
formal-methods formal-models formal-specification parser parser-combinators peg vdm vdm-sl
Last synced: 11 Mar 2025
https://github.com/tomooda/viennavm
a simple virtual machine for VDM by VDM
formal-methods formal-models formal-specification vdm vdm-sl vm
Last synced: 11 Mar 2025
https://github.com/tomooda/jsonutil
JSON parser/printer for VDM-SL
formal-methods formal-models formal-specification json vdm vdm-sl
Last synced: 11 Mar 2025