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 / / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen.
This book is Open Access under a CC BY licence. .
Saved in:
| Superior document: | Theoretical Computer Science and General Issues, 11429 |
|---|---|
| HerausgeberIn: | |
| Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2019. |
| Year of Publication: | 2019 |
| Edition: | 1st ed. 2019. |
| Language: | English |
| Series: | Theoretical Computer Science and General Issues,
11429 |
| Physical Description: | 1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- TOOLympics 2019: An Overview of Competitions in Formal Methods
- Confluence Completion 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).