Browsing Waterloo Research by Author "Farheen, Sabria"
Now showing items 1-2 of 2
-
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
Serna, Jose; Day, Nancy A.; Farheen, Sabria (IEEE, 2017-09-04)We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ... -
Transitive-closure-based model checking (TCMC) in Alloy
Farheen, Sabria; Day, Nancy A.; Vakili, Amirhossein; Abbassi, Ali (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 ...