Description |
1 online resource (xxvii, 258 pages) : illustrations (some color). |
Series |
Lecture notes in computer science ; 11429 |
|
Advanced research in computing and software science |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 11429.
|
|
Lecture notes in computer science. Advanced research in computing and software science.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Access |
Open access. GW5XE |
Note |
International conference proceedings. |
|
Includes author index. |
|
Online resource; title from PDF title page (SpringerLink, viewed April 11, 2019). |
Contents |
TOOLympics 2019: An Overview of Competitions in Formal Methods.- Confluence Competion 2019.- International Competition on Runtime Verification (CRV).- The Model Checking Contest (2019).- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models.- The Rewrite Engines Competitions: A RECtrospective.- RERS 2019: Combining Synthesis with Real-World Models.- SL-COMP: Competition of Solvers for Separation Logic.- Automatic Verification of C and Java Programs: SV-COMP 2019.- The Termination and Complexity Competition.- Competition on Software Testing (Test-Comp).- VerifyThis -- Verification Competition with a Human Factor.- SV-COMP 2019.- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution).- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution).- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution).- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution).- JayHorn: A Java Model Checker (Competition Contribution).- Java Pathfinder at SV-COMP 2019.- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution).- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution).- Symbolic Pathfinder for SV-COMP.- VeriFuzz: Program Aware Fuzzing.- VIAP 1.1 (Competition Contribution). |
Summary |
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS. -- Provided by publisher. |
Local Note |
SpringerLink Springer Nature Open Access eBooks |
Subject |
System design -- Congresses.
|
|
Computer software -- Verification -- Congresses.
|
|
System analysis -- Congresses.
|
|
Computer software -- Verification.
(OCoLC)fst00872604
|
|
System analysis. (OCoLC)fst01141385
|
|
System design. (OCoLC)fst01141401
|
Genre/Form |
Conference papers and proceedings. (OCoLC)fst01423772
|
Added Author |
Beyer, Dirk, 1972- editor.
|
|
Huisman, Marieke, editor.
|
|
Kordon, Fabrice, editor.
|
|
Steffen, Bernhard, editor.
|
|
ETAPS (Conference) (22nd : 2019 : Prague, Czech Republic)
|
ISBN |
9783030175023 (electronic book) |
|
3030175022 (electronic book) |
|
9783030175016 (print) |
Standard No. |
10.1007/978-3-030-17502-3 doi |
|