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 / / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen.
This book is Open Access under a CC BY licence. .
Saved in:
Superior document: | Theoretical Computer Science and General Issues, 11429 |
---|---|
HerausgeberIn: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2019. |
Year of Publication: | 2019 |
Edition: | 1st ed. 2019. |
Language: | English |
Series: | Theoretical Computer Science and General Issues,
11429 |
Physical Description: | 1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993543478004498 |
---|---|
ctrlnum |
(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)994100000007823629 |
collection |
bib_alma |
record_format |
marc |
spelling |
Beyer, Dirk edt 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 / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. 1st ed. 2019. Cham : Springer International Publishing : Imprint: Springer, 2019. 1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.) text txt rdacontent computer c rdamedia online resource cr rdacarrier Theoretical Computer Science and General Issues, 2512-2029 ; 11429 English Nederlandse Organisatie voor Wetenschappelijk Onderzoek 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. . Open Access Computer 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. 3-030-17501-4 Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 https://orcid.org/0000-0003-4832-7662 edt http://id.loc.gov/vocabulary/relators/edt Huisman, Marieke. editor. edt http://id.loc.gov/vocabulary/relators/edt Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X https://orcid.org/0000-0002-5626-828X edt http://id.loc.gov/vocabulary/relators/edt Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 https://orcid.org/0000-0001-9619-1558 edt http://id.loc.gov/vocabulary/relators/edt |
language |
English |
format |
eBook |
author2 |
Beyer, Dirk. Beyer, Dirk. Huisman, Marieke. Huisman, Marieke. Kordon, Fabrice. Kordon, Fabrice. Steffen, Bernhard. Steffen, Bernhard. |
author_facet |
Beyer, Dirk. Beyer, Dirk. Huisman, Marieke. Huisman, Marieke. Kordon, Fabrice. Kordon, Fabrice. Steffen, Bernhard. Steffen, Bernhard. |
author2_variant |
d b db d b db d b db m h mh m h mh f k fk f k fk b s bs b s bs |
author2_role |
HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn |
author_sort |
Beyer, Dirk. |
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 / |
spellingShingle |
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 / Theoretical Computer Science and General Issues, 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). |
title_sub |
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / |
title_full |
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 / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. |
title_fullStr |
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 / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. |
title_full_unstemmed |
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 / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. |
title_auth |
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 / |
title_new |
Tools and Algorithms for the Construction and Analysis of Systems : |
title_sort |
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 / |
series |
Theoretical Computer Science and General Issues, |
series2 |
Theoretical Computer Science and General Issues, |
publisher |
Springer International Publishing : Imprint: Springer, |
publishDate |
2019 |
physical |
1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.) |
edition |
1st ed. 2019. |
contents |
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). |
isbn |
3-030-17502-2 3-030-17501-4 |
issn |
2512-2029 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.9 L63 |
illustrated |
Not Illustrated |
dewey-hundreds |
000 - Computer science, information & general works |
dewey-tens |
000 - Computer science, knowledge & systems |
dewey-ones |
005 - Computer programming, programs & data 004 - Data processing & computer science |
dewey-full |
005.1015113 004.21 |
dewey-sort |
15.1015113 |
dewey-raw |
005.1015113 004.21 |
dewey-search |
005.1015113 004.21 |
oclc_num |
1096325925 |
work_keys_str_mv |
AT beyerdirk toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT huismanmarieke toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT kordonfabrice toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT steffenbernhard toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii |
status_str |
n |
ids_txt_mv |
(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)994100000007823629 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Theoretical Computer Science and General Issues, 11429 |
hierarchy_sequence |
11429 |
is_hierarchy_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 / |
container_title |
Theoretical Computer Science and General Issues, 11429 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1804719270639173632 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04488nam a22007215i 4500</leader><controlfield tag="001">993543478004498</controlfield><controlfield tag="005">20231211230627.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr#nn#008mamaa</controlfield><controlfield tag="008">190403s2019 sz | o |||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-17502-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-17502-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4100000007823629</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-030-17502-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC5920106</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL5920106</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1096325925</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/27642</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)235668540</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994100000007823629</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.5913</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.63</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UM</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM051000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UM</subfield><subfield code="2">thema</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UYF</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1=" " ind2=" "><subfield code="a">004.21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Beyer, Dirk</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and Algorithms for the Construction and Analysis of Systems :</subfield><subfield code="b">25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /</subfield><subfield code="c">edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2019.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing :</subfield><subfield code="b">Imprint: Springer,</subfield><subfield code="c">2019.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Theoretical Computer Science and General Issues,</subfield><subfield code="x">2512-2029 ;</subfield><subfield code="v">11429</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="536" ind1=" " ind2=" "><subfield code="a">Nederlandse Organisatie voor Wetenschappelijk Onderzoek</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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).</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book is Open Access under a CC BY licence. .</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Machine theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computers.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Professions.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic digital computers—Evaluation.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer simulation.</subfield></datafield><datafield tag="650" ind1="1" ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Software Engineering.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Formal Languages and Automata Theory.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">The Computing Profession.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">System Performance and Evaluation.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computer Modelling.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-030-17501-4</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beyer, Dirk.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0003-4832-7662</subfield><subfield code="1">https://orcid.org/0000-0003-4832-7662</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Huisman, Marieke.</subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kordon, Fabrice.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0002-5626-828X</subfield><subfield code="1">https://orcid.org/0000-0002-5626-828X</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steffen, Bernhard.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0001-9619-1558</subfield><subfield code="1">https://orcid.org/0000-0001-9619-1558</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Theoretical Computer Science and General Issues,</subfield><subfield code="x">2512-2029 ;</subfield><subfield code="v">11429</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-16 07:52:37 Europe/Vienna</subfield><subfield code="d">00</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2019-04-13 22:04:18 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337335990004498&Force_direct=true</subfield><subfield code="Z">5337335990004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337335990004498</subfield></datafield></record></collection> |