Using Alloy to verify CTL formulas with or without fairness constraints.
1. Download the CTL and CTLFC modules, we will use CTL for form
Use Alloy to analyze system properties of as captured via Kirpke Structures.
1.explain your logic of how you approach each problem (30)