Amirhossein Vakili

Representing Behavioural Models with Rich Control Structures in SMT-LIB

D. Cheriton, N. Day, Amirhossein Vakili, 2015 .

Temporal Logic Model Checking in Alloy

Nancy A. Day, Amirhossein Vakili, N. Day, 2012, ABZ.

Reducing CTL-live Model Checking to Semantic Entailment in First-Order Logic ( Version 1 )

N. Day, Cheriton, Amirhossein Vakili, 2014 .

Transitive-closure-based model checking (TCMC) in Alloy

Nancy A. Day, Amirhossein Vakili, Ali Abbassi, 2020, Software and Systems Modeling.

Verifying CTL-live properties of infinite state models using an SMT solver

Nancy A. Day, Amirhossein Vakili, N. Day, 2014, SIGSOFT FSE.

Avestan: A declarative modeling language based on SMT-LIB

Nancy A. Day, Amirhossein Vakili, N. Day, 2012, 2012 4th International Workshop on Modeling in Software Engineering (MISE).

New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding

N. Day, Amirhossein Vakili, Joseph Poremba, 2023, IEEE Transactions on Software Engineering.