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