國立虎尾科技大學 |

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 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Tools and Algorithms for the Construction and Analysis of Systems/ edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen.
Reminder of title:	25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
other author:	Beyer, Dirk.
Description:	XXVII, 258 p. 449 illus., 25 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer logic. -
Online resource:	https://doi.org/10.1007/978-3-030-17502-3
ISBN:	9783030175023

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 /
Tools and Algorithms for the Construction and Analysis of Systems25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /[electronic resource] :edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. - 1st ed. 2019. - XXVII, 258 p. 449 illus., 25 illus. in color.online resource. - Theoretical Computer Science and General Issues ;11429. - Theoretical Computer Science and General Issues ;9163.

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).

Open Access

This book is Open Access under a CC BY licence. .

ISBN: 9783030175023

Standard No.: 10.1007/978-3-030-17502-3doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

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 /
LDR:03157nam a22004575i 4500 001 1011584
003 DE-He213
005 20200703044848.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030175023 $9 978-3-030-17502-3
024 7 $a 10.1007/978-3-030-17502-3 $2 doi
035 $a 978-3-030-17502-3
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Tools and Algorithms for the Construction and Analysis of Systems $h [electronic resource] : $b 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / $c edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XXVII, 258 p. 449 illus., 25 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 11429
505 0 $a 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).
506 0 $a Open Access
520 $a This book is Open Access under a CC BY licence. .
650 0 $a Computer logic. $3 786340
650 0 $a Software engineering. $3 562952
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computers. $3 565115
650 0 $a Computer system failures. $3 782237
650 0 $a Computer simulation. $3 560190
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a The Computing Profession. $3 669954
650 2 4 $a System Performance and Evaluation. $3 669346
650 2 4 $a Simulation and Modeling. $3 669249
700 1 $a Beyer, Dirk. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1076432
700 1 $a Huisman, Marieke. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1108810
700 1 $a Kordon, Fabrice. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 680930
700 1 $a Steffen, Bernhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883233
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030175016
776 0 8 $i Printed edition: $z 9783030175030
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-030-17502-3
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
912 $a ZDB-2-SOB
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)