Analyzing temporal properties of abstract models. - Amirhossein Vakili (ASE, 2011)

Using model checking to analyze static properties of declarative models. - Amirhossein Vakili; Nancy A. Day (ASE, 2011)

Temporal Logic Model Checking in Alloy. - Amirhossein Vakili; Nancy A. Day (ABZ, 2012)

Avestan: a declarative modeling language based on SMT-LIB. - Amirhossein Vakili; Nancy A. Day (MiSE, 2012)

Reducing CTL-live model checking to first-order logic validity checking. - Amirhossein Vakili; Nancy A. Day (FMCAD, 2014)

Verifying CTL-live properties of infinite state models using an SMT solver. - Amirhossein Vakili; Nancy A. Day (SIGSOFT FSE, 2014)

Finite Model Finding Using the Logic of Equality with Uninterpreted Functions. - Amirhossein Vakili; Nancy A. Day (FM, 2016)

Representing hierarchical state machine models in SMT-LIB. - Nancy A. Day; Amirhossein Vakili (MiSE@ICSE, 2016)

Temporal Logic Model Checking as Automated Theorem Proving. - Amirhossein Vakili (2016)

Transitive-closure-based model checking (TCMC) in Alloy. - Sabria Farheen; Nancy A. Day; Amirhossein Vakili; Ali Abbassi (Softw. Syst. Model., 2020)

New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding. - Joseph Poremba; Nancy A. Day; Amirhossein Vakili (IEEE Trans. Software Eng., 2023)