Travelled to:1 × China
1 × USA
Collaborated with:N.A.Day ∅
Talks about:model (4) properti (3) analyz (2) use (2) abstract (1) infinit (1) verifi (1) tempor (1) static (1) solver (1)
Person: Amirhossein Vakili
DBLP: Vakili:Amirhossein
Contributed to:
2014
2011Wrote 3 papers:
- FSE-2014-VakiliD #infinity #modelling #smt #using #verification
- Verifying CTL-live properties of infinite state models using an SMT solver (AV, NAD), pp. 213–223.
- ASE-2011-Vakili #modelling
- Analyzing temporal properties of abstract models (AV), pp. 656–659.
- ASE-2011-VakiliD #declarative #model checking #modelling #using
- Using model checking to analyze static properties of declarative models (AV, NAD), pp. 428–431.