Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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 > CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker
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 |
Dirk Beyer; Marieke Huisman; Fabrice Kordon; Bernhard Steffen
Springer International Publishing
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
CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker
Authors

Kareem Khazem; Michael Tautschnig

ARI Id

1665177568919_5174220

Access

Open/Free Access

Pages

199-203

DOI

10.1007/978-3-030-17502-3_13

PDF URL

https://link.springer.com/content/pdf/10.1007/978-3-030-17502-3_13?pdf=chapter%20toc

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-17502-3_13

Table of Contents of Book
Showing 1 to 20 of 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xxvii
Front Matter
1-1
TOOLympics 2019: An Overview of Competitions in Formal Methods
Ezio Bartocci; Dirk Beyer; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns et al.
3-24
Confluence Competition 2019
Aart Middeldorp; Julian Nagele; Kiraku Shintani
25-40
International Competition on Runtime Verification (CRV)
Ezio Bartocci; Yliès Falcone; Giles Reger
41-49
Presentation of the 9th Edition of the Model Checking Contest
Elvio Amparore; Bernard Berthomieu; Gianfranco Ciardo; Silvano Dal Zilio; Francesco Gallà; Lom Messan Hillah et al.
50-68
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
Ernst Moritz Hahn; Arnd Hartmanns; Christian Hensel; Michaela Klauck; Joachim Klein; Jan Křetínský et al.
69-92
The Rewrite Engines Competitions: A RECtrospective
Francisco Durán; Hubert Garavel
93-100
RERS 2019: Combining Synthesis with Real-World Models
Marc Jasper; Malte Mues; Alnis Murtovi; Maximilian Schlüter; Falk Howar; Bernhard Steffen et al.
101-115
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu; Juan A. Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds et al.
116-132
Automatic Verification of C and Java Programs: SV-COMP 2019
Dirk Beyer
133-155
The Termination and Complexity Competition
Jürgen Giesl; Albert Rubio; Christian Sternagel; Johannes Waldmann; Akihisa Yamada
156-166
International Competition on Software Testing (Test-Comp)
Dirk Beyer
167-175
VerifyThis – Verification Competition with a Human Factor
Gidon Ernst; Marieke Huisman; Wojciech Mostowski; Mattias Ulbrich
176-195
Front Matter
197-197
CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker
Kareem Khazem; Michael Tautschnig
199-203
Extending DIVINE with Symbolic Verification Using SMT
Henrich Lauko; Vladimír Štill; Petr Ročkai; Jiří Barnat
204-208
ESBMC v6. 0: Verifying C Programs Using k-Induction and Invariant Inference
Mikhail R. Gadelha; Felipe Monteiro; Lucas Cordeiro; Denis Nicole
209-213
JayHorn: A Java Model Checker
Temesghen Kahsai; Philipp Rümmer; Martin Schäf
214-218
JBMC: Bounded Model Checking for Java Bytecode
Lucas Cordeiro; Daniel Kroening; Peter Schrammel
219-223
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings