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.: 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Part III (2019)

• Record Type: Book
• Further Information: Note: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (eds.).
• Editors: Beyer, Dirk, 1972-; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
• Other Names: TACAS (Conference), 25th; ETAPS (Conference), 22nd
• 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).
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xxvii, 258 pages), illustrations (some color)
• Subjects: 004.2/1; System design -- Congresses; Computer software -- Verification -- Congresses; System analysis -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030175023; 3030175022
• Related ISBNs: 9783030175016
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed April 11, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.