%0 Conference Paper %1 conf/arch/ErnstABCDFFG0KM21 %A Ernst, Gidon %A Arcaini, Paolo %A Bennani, Ismail %A Chandratre, Aniruddh %A Donzé, Alexandre %A Fainekos, Georgios %A Frehse, Goran %A Gaaloul, Khouloud %A Inoue, Jun %A Khandait, Tanmay %A Mathesen, Logan %A Menghi, Claudio %A Pedrielli, Giulia %A Pouzet, Marc %A Waga, Masaki %A Yaghoubi, Shakiba %A Yamagata, Yoriyuki %A Zhang, Zhenya %B ARCH@ADHS %D 2021 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 133-152 %T ARCH-COMP 2021 Category Report: Falsification with Validation of Results. %U http://dblp.uni-trier.de/db/conf/arch/arch2021.html#ErnstABCDFFG0KM21 %V 80

@inproceedings{conf/arch/ErnstABCDFFG0KM21, added-at = {2024-05-07T00:00:00.000+0200}, author = {Ernst, Gidon and Arcaini, Paolo and Bennani, Ismail and Chandratre, Aniruddh and Donzé, Alexandre and Fainekos, Georgios and Frehse, Goran and Gaaloul, Khouloud and Inoue, Jun and Khandait, Tanmay and Mathesen, Logan and Menghi, Claudio and Pedrielli, Giulia and Pouzet, Marc and Waga, Masaki and Yaghoubi, Shakiba and Yamagata, Yoriyuki and Zhang, Zhenya}, biburl = {https://www.bibsonomy.org/bibtex/2bc6e82609b797b52fb206e446505f845/dblp}, booktitle = {ARCH@ADHS}, crossref = {conf/arch/2021}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/xwl1}, interhash = {a755e0cf675d7d13ea7586614a820d61}, intrahash = {bc6e82609b797b52fb206e446505f845}, keywords = {dblp}, pages = {133-152}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-05-13T09:35:17.000+0200}, title = {ARCH-COMP 2021 Category Report: Falsification with Validation of Results.}, url = {http://dblp.uni-trier.de/db/conf/arch/arch2021.html#ErnstABCDFFG0KM21}, volume = 80, year = 2021 }