default search action
25th TACAS@ETAPS 2019: Prague, Czech Republic: TOOLympics
- 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
TOOLympics 2019: An Overview of Competitions in Formal Methods. 3-24 - Aart Middeldorp
Confluence Competition 2019. 25-40 - Ezio Bartocci
International Competition on Runtime Verification (CRV). 41-49 - Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio
Presentation of the 9th Edition of the Model Checking Contest. 50-68 - Ernst Moritz Hahn
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
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
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
The Termination and Complexity Competition. 156-166 - Dirk Beyer
International Competition on Software Testing (Test-Comp). 167-175 - Gidon Ernst
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
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
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). 219-223 - Cyrille Artho
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
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 2024-10-01 20:31 CEST 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: