04596nam 22008295 450 991033783810332120231211230627.03-030-17502-210.1007/978-3-030-17502-3(CKB)4100000007823629(DE-He213)978-3-030-17502-3(MiAaPQ)EBC5920106(Au-PeEL)EBL5920106(OCoLC)1096325925(oapen)https://directory.doabooks.org/handle/20.500.12854/27642(PPN)235668540(EXLCZ)99410000000782362920190403d2019 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierTools 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 Steffen1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;114293-030-17501-4 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).This book is Open Access under a CC BY licence. .Theoretical Computer Science and General Issues,2512-2029 ;11429Computer scienceSoftware engineeringMachine theoryComputersProfessionsElectronic digital computers—EvaluationComputer simulationComputer Science Logic and Foundations of ProgrammingSoftware EngineeringFormal Languages and Automata TheoryThe Computing ProfessionSystem Performance and EvaluationComputer ModellingComputer science.Software engineering.Machine theory.Computers.Professions.Electronic digital computers—Evaluation.Computer simulation.Computer Science Logic and Foundations of Programming.Software Engineering.Formal Languages and Automata Theory.The Computing Profession.System Performance and Evaluation.Computer Modelling.005.1015113004.21Beyer Dirkedt1351238Beyer Dirkedthttp://id.loc.gov/vocabulary/relators/edtHuisman Mariekeedthttp://id.loc.gov/vocabulary/relators/edtKordon Fabriceedthttp://id.loc.gov/vocabulary/relators/edtSteffen Bernhardedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337838103321Tools and Algorithms for the Construction and Analysis of Systems3091235UNINA