LEADER 04596nam  22008295  450 
001 9910337838103321
005 20231211230627.0
010   $a3-030-17502-2
024 7 $a10.1007/978-3-030-17502-3
035   $a(CKB)4100000007823629
035   $a(DE-He213)978-3-030-17502-3
035   $a(MiAaPQ)EBC5920106
035   $a(Au-PeEL)EBL5920106
035   $a(OCoLC)1096325925
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/27642
035   $a(PPN)235668540
035   $a(EXLCZ)994100000007823629
100   $a20190403d2019      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTools and Algorithms for the Construction and Analysis of Systems $e25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings, Part III /$fedited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11429
311   $a3-030-17501-4 
327   $aTOOLympics 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).
330   $aThis book is Open Access under a CC BY licence. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11429
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aComputers
606   $aProfessions
606   $aElectronic digital computers?Evaluation
606   $aComputer simulation
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aThe Computing Profession
606   $aSystem Performance and Evaluation
606   $aComputer Modelling
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aComputers.
615  0$aProfessions.
615  0$aElectronic digital computers?Evaluation.
615  0$aComputer simulation.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aThe Computing Profession.
615 24$aSystem Performance and Evaluation.
615 24$aComputer Modelling.
676   $a005.1015113
676   $a004.21
700   $aBeyer$b Dirk$4edt$01351238
702   $aBeyer$b Dirk$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHuisman$b Marieke$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKordon$b Fabrice$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910337838103321
996   $aTools and Algorithms for the Construction and Analysis of Systems$93091235
997   $aUNINA