ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference : (Competition Contribution)
In: 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, Jg. 11429 (2019), S. 209-213
Online
E-Book
Zugriff:
Titel: |
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference : (Competition Contribution)
|
---|---|
Autor/in / Beteiligte Person: | Gadelha, Mikhail R. ; Monteiro, Felipe ; Cordeiro, Lucas ; Nicole, Denis ; Hutchison, David [Ed.]ial Board Member ; Kanade, Takeo [Ed.]ial Board Member ; Kittler, Josef [Ed.]ial Board Member ; Kleinberg, Jon M. [Ed.]ial Board Member ; Mattern, Friedemann [Ed.]ial Board Member ; Mitchell, John C. [Ed.]ial Board Member ; Naor, Moni [Ed.]ial Board Member ; Pandu Rangan, C. [Ed.]ial Board Member ; Steffen, Bernhard [Ed.]ial Board Member ; Terzopoulos, Demetri [Ed.]ial Board Member ; Tygar, Doug [Ed.]ial Board Member ; Goos, Gerhard, Founding Editor ; Hartmanis, Juris, Founding Editor ; Beyer, Dirk [Ed.] ; Huisman, Marieke [Ed.] ; Kordon, Fabrice [Ed.] |
Zeitschrift: | 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, Jg. 11429 (2019), S. 209-213 |
Veröffentlichung: | 2019 |
Medientyp: | E-Book |
ISBN: | 978-3-030-17501-6 (print) ; 978-3-030-17502-3 (print) |
DOI: | 10.1007/978-3-030-17502-3_15 |
Sonstiges: |
|