Browsing Computer Science 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 ... -
Improvements to Transitive-Closure-based Model Checking in Alloy
Farheen, Sabria (University of Waterloo, 2018-01-19)Model checking, which refers to the verification of temporal properties of a transition system, is a common formal method for verifying models. Transitive-closure-based model checking (TCMC), developed by Vakili et al., ...