A fire response model described using Alloy. It is an example for my work on analyzing stateful NGAC models with Alloy.
mvaz / alloy4ngac Goto Github PK
View Code? Open in Web Editor NEWThis project forked from alperentercan/alloy4ngac
A fire response model described using Alloy. It is an example for my work on analyzing stateful NGAC models with Alloy.