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 ...