Nicolas Latorre, Francesco Alberti, Natasha Sharygina. Verige: verification with invariant generation engine. In Neha Rungta, Oksana Tkachuk, editors, 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. pages 121-124, ACM, 2014. [doi]
@inproceedings{LatorreAS14, title = {Verige: verification with invariant generation engine}, author = {Nicolas Latorre and Francesco Alberti and Natasha Sharygina}, year = {2014}, doi = {10.1145/2632362.2632373}, url = {http://doi.acm.org/10.1145/2632362.2632373}, researchr = {https://researchr.org/publication/LatorreAS14}, cites = {0}, citedby = {0}, pages = {121-124}, booktitle = {2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014}, editor = {Neha Rungta and Oksana Tkachuk}, publisher = {ACM}, isbn = {978-1-4503-2452-6}, }