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 (eds.).
TACAS (Conference) (25th : 2019 : Prague, Czech Republic); Beyer, Dirk, 1972- editor.; Huisman, Marieke, editor.; Kordon, Fabrice, editor.; Steffen, Bernhard, editor.; ETAPS (Conference) (22nd : 2019 : Prague, Czech Republic)
2019
QA76.9.S88
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title 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 (eds.).
Meeting Name TACAS (Conference) (25th : 2019 : Prague, Czech Republic)
ISBN 9783030175023 (electronic book)
3030175022 (electronic book)
9783030175016
DOI https://doi.org/10.1007/978-3-030-17502-3
Published Cham, Switzerland : Springer, 2019.
Language English
Description 1 online resource (xxvii, 258 pages) : illustrations
Item Number 10.1007/978-3-030-17502-3 doi
Call Number QA76.9.S88
Dewey Decimal Classification 004.2/1
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 11, 2019).
Added Author Beyer, Dirk, 1972- editor.
Huisman, Marieke, editor.
Kordon, Fabrice, editor.
Steffen, Bernhard, editor.
Added Meeting Name ETAPS (Conference) (22nd : 2019 : Prague, Czech Republic)
Series 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.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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).

Browse Subjects

Show more subjects...

Statistics

from
to
Export