For full text search please use the '?' prefix. e.g. ? Onboarding
Alloy Specification Language
https://alloytools.org/
Modeling Tools
repo:
https://github.com/AlloyTools/org.alloytools.alloy
Resources
https://haslab.github.io/formal-software-design/
References
The Temporal Logic of Actions
Backlinks
Representing a Reference Foundational Ontology of Events in Sroiq
Resources
References