Symbolic model checking of declarative relational models, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.312-320, 2006. ,
DOI : 10.1145/1134285.1134329
Bounded Model Checking of Temporal Formulas with Alloy, ABZ 2014, pp.303-308, 2014. ,
DOI : 10.1007/978-3-662-43652-3_29
DynAlloy, Proceedings of the 27th international conference on Software engineering , ICSE '05, pp.442-451, 2005. ,
DOI : 10.1145/1062455.1062535
Software Abstractions: Logic, Language, and Analysis, 2012. ,
Lightweight specification and analysis of dynamic systems with rich configurations, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, pp.373-383, 2016. ,
DOI : 10.1145/2185376.2185383
URL : https://hal.archives-ouvertes.fr/hal-01355062
An Imperative Extension to Alloy, ABZ 2010, pp.118-131, 2010. ,
DOI : 10.1007/978-3-642-11811-1_10
URL : http://sdg.lcs.mit.edu/pubs/2010/dynamic-alloy.pdf
Temporal Logic Model Checking in Alloy, ABZ 2012, pp.150-163, 2012. ,
DOI : 10.1007/978-3-642-30885-7_11