Computer Aided Verification : : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / / edited by Shuvendu K. Lahiri, Chao Wang.
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were care...
Saved in:
Superior document: | Theoretical Computer Science and General Issues, 12225 |
---|---|
HerausgeberIn: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2020. |
Year of Publication: | 2020 |
Edition: | 1st ed. 2020. |
Language: | English |
Series: | Theoretical Computer Science and General Issues,
12225 |
Physical Description: | 1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993547964504498 |
---|---|
ctrlnum |
(CKB)4100000011343306 (DE-He213)978-3-030-53291-8 (MiAaPQ)EBC6420156 (Au-PeEL)EBL6420156 (OCoLC)1179001834 (oapen)https://directory.doabooks.org/handle/20.500.12854/35502 (PPN)254711243 (EXLCZ)994100000011343306 |
collection |
bib_alma |
record_format |
marc |
spelling |
Lahiri, Shuvendu K. edt Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. 1st ed. 2020. Cham : Springer International Publishing : Imprint: Springer, 2020. 1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) text txt rdacontent computer c rdamedia online resource cr rdacarrier Theoretical Computer Science and General Issues, 2512-2029 ; 12225 English Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. Open Access Software engineering. Computer science. Artificial intelligence. Computer engineering. Computer networks. Computers. Software Engineering. Theory of Computation. Artificial Intelligence. Computer Engineering and Networks. Computer Hardware. Computer Science. 3-030-53290-9 Lahiri, Shuvendu K. editor. edt http://id.loc.gov/vocabulary/relators/edt Wang, Chao. editor. edt http://id.loc.gov/vocabulary/relators/edt |
language |
English |
format |
eBook |
author2 |
Lahiri, Shuvendu K. Lahiri, Shuvendu K. Wang, Chao. Wang, Chao. |
author_facet |
Lahiri, Shuvendu K. Lahiri, Shuvendu K. Wang, Chao. Wang, Chao. |
author2_variant |
s k l sk skl s k l sk skl s k l sk skl c w cw c w cw |
author2_role |
HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn |
author_sort |
Lahiri, Shuvendu K. |
title |
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / |
spellingShingle |
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / Theoretical Computer Science and General Issues, Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. |
title_sub |
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / |
title_full |
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. |
title_fullStr |
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. |
title_full_unstemmed |
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. |
title_auth |
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / |
title_new |
Computer Aided Verification : |
title_sort |
computer aided verification : 32nd international conference, cav 2020, los angeles, ca, usa, july 21–24, 2020, proceedings, part ii / |
series |
Theoretical Computer Science and General Issues, |
series2 |
Theoretical Computer Science and General Issues, |
publisher |
Springer International Publishing : Imprint: Springer, |
publishDate |
2020 |
physical |
1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) |
edition |
1st ed. 2020. |
contents |
Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. |
isbn |
3-030-53291-7 3-030-53290-9 |
issn |
2512-2029 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.758 |
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.1 004.24 |
dewey-sort |
15.1 |
dewey-raw |
005.1 004.24 |
dewey-search |
005.1 004.24 |
oclc_num |
1179001834 |
work_keys_str_mv |
AT lahirishuvenduk computeraidedverification32ndinternationalconferencecav2020losangelescausajuly21242020proceedingspartii AT wangchao computeraidedverification32ndinternationalconferencecav2020losangelescausajuly21242020proceedingspartii |
status_str |
n |
ids_txt_mv |
(CKB)4100000011343306 (DE-He213)978-3-030-53291-8 (MiAaPQ)EBC6420156 (Au-PeEL)EBL6420156 (OCoLC)1179001834 (oapen)https://directory.doabooks.org/handle/20.500.12854/35502 (PPN)254711243 (EXLCZ)994100000011343306 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Theoretical Computer Science and General Issues, 12225 |
hierarchy_sequence |
12225 |
is_hierarchy_title |
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / |
container_title |
Theoretical Computer Science and General Issues, 12225 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1804772115194314752 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03096nam a22006255i 4500</leader><controlfield tag="001">993547964504498</controlfield><controlfield tag="005">20230221230511.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr nn 008mamaa</controlfield><controlfield tag="008">200715s2020 sz | o |||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-53291-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-53291-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4100000011343306</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-030-53291-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6420156</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL6420156</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1179001834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/35502</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)254711243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994100000011343306</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.758</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMZ</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM051230</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMZ</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1=" " ind2=" "><subfield code="a">004.24</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lahiri, Shuvendu K.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer Aided Verification :</subfield><subfield code="b">32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /</subfield><subfield code="c">edited by Shuvendu K. Lahiri, Chao Wang.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2020.</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">2020.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (XVIII, 683 p. 719 illus., 94 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">12225</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Model Checking -- Software Verification -- Stochastic Systems -- Synthesis.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Artificial intelligence.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer engineering.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer networks.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computers.</subfield></datafield><datafield tag="650" ind1="1" ind2="4"><subfield code="a">Software Engineering.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Theory of Computation.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Artificial Intelligence.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computer Engineering and Networks.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computer Hardware.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computer Science.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-030-53290-9</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lahiri, Shuvendu K.</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">Wang, Chao.</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="830" ind1=" " ind2="0"><subfield code="a">Theoretical Computer Science and General Issues,</subfield><subfield code="x">2512-2029 ;</subfield><subfield code="v">12225</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-16 21:32:53 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2020-07-25 22:17:37 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=5338691910004498&Force_direct=true</subfield><subfield code="Z">5338691910004498</subfield><subfield code="b">Available</subfield><subfield code="8">5338691910004498</subfield></datafield></record></collection> |