default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th TACAS / TOOLympics 2019: Prague, Czech Republic
- Dirk Beyer, Marieke Huisman
, Fabrice Kordon, Bernhard Steffen:
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Lecture Notes in Computer Science 11429, Springer 2019, ISBN 978-3-030-17501-6
TOOLympics 2019
- Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada:
TOOLympics 2019: An Overview of Competitions in Formal Methods. 3-24 - Aart Middeldorp, Julian Nagele, Kiraku Shintani:
Confluence Competition 2019. 25-40 - Ezio Bartocci, Yliès Falcone, Giles Reger:
International Competition on Runtime Verification (CRV). 41-49 - Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf:
Presentation of the 9th Edition of the Model Checking Contest. 50-68 - Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz:
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). 69-92 - Francisco Durán, Hubert Garavel:
The Rewrite Engines Competitions: A RECtrospective. 93-100 - Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager:
RERS 2019: Combining Synthesis with Real-World Models. 101-115 - Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu:
SL-COMP: Competition of Solvers for Separation Logic. 116-132 - Dirk Beyer:
Automatic Verification of C and Java Programs: SV-COMP 2019. 133-155 - Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada:
The Termination and Complexity Competition. 156-166 - Dirk Beyer:
International Competition on Software Testing (Test-Comp). 167-175 - Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich:
VerifyThis - Verification Competition with a Human Factor. 176-195
SV-COMP 2019
- Kareem Khazem, Michael Tautschnig:
CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). 199-203 - Henrich Lauko, Vladimír Still, Petr Rockai, Jiri Barnat:
Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution). 204-208 - Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole:
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution). 209-213 - Temesghen Kahsai, Philipp Rümmer, Martin Schäf:
JayHorn: A Java Model Checker - (Competition Contribution). 214-218 - Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). 219-223 - Cyrille Artho, Willem Visser:
Java Pathfinder at SV-COMP 2019 (Competition Contribution). 224-228 - Cedric Richter, Heike Wehrheim:
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). 229-233 - Eti Chaudhary, Saurabh Joshi:
Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution). 234-238 - Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser:
Symbolic Pathfinder for SV-COMP - (Competition Contribution). 239-243 - Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh:
VeriFuzz: Program Aware Fuzzing - (Competition Contribution). 244-249 - Pritom Rajkhowa, Fangzhen Lin:
VIAP 1.1 - (Competition Contribution). 250-255
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-16 23:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
