Travelled to:1 × USA
Collaborated with:S.Khurshid D.E.Perry
Talks about:increment (1) analysi (1) specif (1) solver (1) effici (1) domain (1) annot (1) alloy (1) case (1)
Person: Svetoslav R. Ganov
DBLP: Ganov:Svetoslav_R=
Contributed to:
2011Wrote 1 papers:
- ASE-2011-GanovKP #alloy #analysis #incremental #performance
- A case for alloy annotations for efficient incremental analysis via domain specific solvers (SRG, SK, DEP), pp. 464–467.