Ali Abbassi

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Automated Verification

Transitive Closure

Directed Acyclic Graph

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)
Ali Abbassi, Nancy A. Day, Derek Rayside
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB. CoRR (2019)
Ali Abbassi, Amin Bandali, Nancy A. Day, José Serna
. MoDRE@RE (2018)