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