Browsing Waterloo Research by Subject "declarative models"
Now showing items 1-1 of 1
-
Transitive-closure-based model checking (TCMC) in Alloy
(Springer, 2020-01-03)We present transitive-closure-based model checking (TCMC): a symbolic representation of the semantics of computational tree logic with fairness constraints (CTLFC) for finite models in first-order logic with transitive ...