Stars
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Fortress: Finite Model Finder for Many-Sorted First-Order Logic
Forge: A Tool and Language for Teaching Formal Methods
Sample cloud-first application with 10 microservices showcasing Kubernetes, Istio, and gRPC.
Library for giving partial definitions of miniRBAC access control states for analysis with margrave
Counting terms in a sorted signature (Google App Engine)