Tools and algorithms for the construction and analysis of systems : : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. / editors, Dana Fisman, Grigore Rosu.
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Soft...
Saved in:
Superior document: | Lecture notes in computer science v.13243 |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2022 |
Language: | English |
Series: | Lecture notes in computer science
13243. |
Physical Description: | 1 online resource (xxii, 583 pages) :; illustrations. |
Notes: |
|
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993544758604498 |
---|---|
ctrlnum |
(CKB)5860000000038043 EBL6942717 (AU-PeEL)EBL6942717 (MiAaPQ)EBC6942717 (oapen)https://directory.doabooks.org/handle/20.500.12854/81626 (PPN)261518305 (EXLCZ)995860000000038043 |
collection |
bib_alma |
record_format |
marc |
spelling |
Fisman, Dana edt Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part I / editors, Dana Fisman, Grigore Rosu. Cham : Springer International Publishing AG, 2022. 1 online resource (xxii, 583 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in computer science v.13243 Description based upon print version of record. Includes author index. This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. English Computer software Verification Congresses. System analysis Congresses. System design Congresses. formal languages and automata theory Formal methods and theory of security Machine learning Modeling and simulation Semantics and reasoning signal processing software and hardware verification specification and verification techniques Symbolic and algebraic manipulation system construction and transformation techniques Fisman, Dana. TACAS (Conference) (28th : 2022 : Munich, Germany; online) 3-030-99523-2 Rosu, Grigore. Lecture notes in computer science 13243. |
language |
English |
format |
Conference Proceeding eBook |
author2 |
Fisman, Dana. Rosu, Grigore. TACAS (Conference) (28th : 2022 : Munich, Germany; online) |
author_facet |
Fisman, Dana. Rosu, Grigore. TACAS (Conference) (28th : 2022 : Munich, Germany; online) TACAS (Conference) |
author2_variant |
d f df d f df g r gr |
author2_role |
TeilnehmendeR TeilnehmendeR TeilnehmendeR |
author_corporate |
TACAS (Conference) |
author_sort |
Fisman, Dana. |
title |
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. |
spellingShingle |
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Lecture notes in computer science |
title_sub |
28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. |
title_full |
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part I / editors, Dana Fisman, Grigore Rosu. |
title_fullStr |
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part I / editors, Dana Fisman, Grigore Rosu. |
title_full_unstemmed |
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part I / editors, Dana Fisman, Grigore Rosu. |
title_auth |
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. |
title_new |
Tools and algorithms for the construction and analysis of systems : |
title_sort |
tools and algorithms for the construction and analysis of systems : 28th international conference, tacas 2022, held as part of the european joint conferences on theory and practice of software, etaps 2022, munich, germany, april 2-7, 2022, proceedings. |
series |
Lecture notes in computer science |
series2 |
Lecture notes in computer science |
publisher |
Springer International Publishing AG, |
publishDate |
2022 |
physical |
1 online resource (xxii, 583 pages) : illustrations. |
isbn |
3-030-99524-0 3-030-99523-2 |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA75 |
callnumber-sort |
QA 275.5 276.95 |
genre_facet |
Congresses. |
illustrated |
Illustrated |
work_keys_str_mv |
AT fismandana toolsandalgorithmsfortheconstructionandanalysisofsystems28thinternationalconferencetacas2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings AT tacasconferencemunichgermanyonline toolsandalgorithmsfortheconstructionandanalysisofsystems28thinternationalconferencetacas2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings AT rosugrigore toolsandalgorithmsfortheconstructionandanalysisofsystems28thinternationalconferencetacas2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings |
status_str |
n |
ids_txt_mv |
(CKB)5860000000038043 EBL6942717 (AU-PeEL)EBL6942717 (MiAaPQ)EBC6942717 (oapen)https://directory.doabooks.org/handle/20.500.12854/81626 (PPN)261518305 (EXLCZ)995860000000038043 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Lecture notes in computer science v.13243 |
hierarchy_sequence |
13243. |
is_hierarchy_title |
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. |
container_title |
Lecture notes in computer science v.13243 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField |
_version_ |
1796652263975944192 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03249nam a22005773u 4500</leader><controlfield tag="001">993544758604498</controlfield><controlfield tag="005">20230221131410.0</controlfield><controlfield tag="006">m d </controlfield><controlfield tag="007">cr#|n|---|||||</controlfield><controlfield tag="008">220617s2022||||sz a o 101|0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-99524-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5860000000038043</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">EBL6942717</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AU-PeEL)EBL6942717</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6942717</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/81626</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)261518305</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995860000000038043</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">AU-PeEL</subfield><subfield code="b">eng</subfield><subfield code="c">AU-PeEL</subfield><subfield code="d">AU-PeEL</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA75.5-76.95</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fisman, Dana</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">28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.</subfield><subfield code="v">Part I /</subfield><subfield code="c">editors, Dana Fisman, Grigore Rosu.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing AG,</subfield><subfield code="c">2022.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxii, 583 pages) :</subfield><subfield code="b">illustrations.</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">Lecture notes in computer science</subfield><subfield code="v">v.13243</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based upon print version of record.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes author index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System analysis</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System design</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal languages and automata theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal methods and theory of security</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Machine learning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Modeling and simulation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Semantics and reasoning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">signal processing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software and hardware verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">specification and verification techniques</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Symbolic and algebraic manipulation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">system construction and transformation techniques</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fisman, Dana.</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS (Conference)</subfield><subfield code="n">(28th :</subfield><subfield code="d">2022 :</subfield><subfield code="c">Munich, Germany; online)</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">3-030-99523-2</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rosu, Grigore.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13243.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-05-20 09:44:45 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-04-04 09:22:53 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=5337720110004498&Force_direct=true</subfield><subfield code="Z">5337720110004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337720110004498</subfield></datafield></record></collection> |