@inproceedings{bormer:hal-00789525, TITLE = {{The COST IC0701 Verification Competition 2011}}, AUTHOR = {Bormer, Thorsten and Brockschmidt, Marc and Distefano, Dino and Ernst, Gidon and Filli{\^a}tre, Jean-Christophe and Grigore, Radu and Huisman, Marieke and Klebanov, Vladimir and March{\'e}, Claude and Monahan, Rosemary and Mostowski, Wojciech and Polikarpova, Nadia and Scheben, Christoph and Schellhorn, Gerhard and Tofan, Bogdan and Tschannen, Julian and Ulbrich, Mattias}, URL = {https://inria.hal.science/hal-00789525}, BOOKTITLE = {{Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2011}}, ADDRESS = {Torino, Italy}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {7421}, YEAR = {2011}, PDF = {https://inria.hal.science/hal-00789525/file/costcomp2011.pdf}, HAL_ID = {hal-00789525}, HAL_VERSION = {v1}, }