Sabria Farheen

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 2

Top Topics

Automated Verification

Transitive Closure

Relational Algebra

Alternating Time Temporal Logic

Top Venues

Softw. Syst. Model.

Publications

Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi
Transitive-closure-based model checking (TCMC) in Alloy. Softw. Syst. Model. 19 (3) (2020)
José Serna, Nancy A. Day, Sabria Farheen
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy. RE Workshops (2017)