Computer aided verification : : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

Computer aided verification : : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. / Part II. / / editors, Sharon Shoham, Yakir Vizel.

Show other versions (1)

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were c...

Full description

Saved in:
Bibliographic Details
Superior document:Lecture notes in computer science v.13372
TeilnehmendeR:
Shoham, Sharon
Vizel, Yakir.
Place / Publishing House:Cham : : Springer International Publishing AG,, 2022.
©2022.
Year of Publication:2022
Language:English
Series:Lecture notes in computer science 13372.
Physical Description:1 online resource (560 pages) :; illustrations (black and white).
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993554872504498
ctrlnum (CKB)5850000000052586
(MiAaPQ)EBC7070165
(Au-PeEL)EBL7070165
(OCoLC)1340956904
(oapen)https://directory.doabooks.org/handle/20.500.12854/91279
(PPN)264191188
(EXLCZ)995850000000052586
collection bib_alma
record_format marc
spelling Shoham, Sharon edt
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II. / editors, Sharon Shoham, Yakir Vizel.
Cham Springer Nature 2022
Cham : Springer International Publishing AG, 2022.
©2022.
1 online resource (560 pages) : illustrations (black and white).
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Lecture notes in computer science v.13372
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
Description based on publisher supplied metadata and other sources.
English
Computer software Verification Congresses.
architecting
architecture verification and validation
artificial intelligence
computer programming
computer science
computer systems
databases
distributed computer systems
embedded systems
engineering
formal languages
formal logic
linguistics
mathematics
model checking
software architecture
software design
software engineering
software quality
theoretical computer science
Shoham, Sharon editor.
3-031-13187-8
Vizel, Yakir.
Lecture notes in computer science 13372.
language English
format eBook
author2 Shoham, Sharon
Vizel, Yakir.
author_facet Shoham, Sharon
Vizel, Yakir.
author2_variant s s ss
s s ss
y v yv
author2_role TeilnehmendeR
TeilnehmendeR
author_sort Vizel, Yakir.
title Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.
spellingShingle Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.
Lecture notes in computer science
title_sub 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.
title_full Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II. / editors, Sharon Shoham, Yakir Vizel.
title_fullStr Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II. / editors, Sharon Shoham, Yakir Vizel.
title_full_unstemmed Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II. / editors, Sharon Shoham, Yakir Vizel.
title_auth Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.
title_new Computer aided verification :
title_sort computer aided verification : 34th international conference, cav 2022, haifa, israel, august 7-10, 2022, proceedings.
series Lecture notes in computer science
series2 Lecture notes in computer science
publisher Springer Nature
Springer International Publishing AG,
publishDate 2022
physical 1 online resource (560 pages) : illustrations (black and white).
isbn 3-031-13188-6
3-031-13187-8
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.758
genre_facet Congresses.
illustrated Illustrated
oclc_num 1340956904
work_keys_str_mv AT shohamsharon computeraidedverification34thinternationalconferencecav2022haifaisraelaugust7102022proceedingspartii
AT vizelyakir computeraidedverification34thinternationalconferencecav2022haifaisraelaugust7102022proceedingspartii
status_str n
ids_txt_mv (CKB)5850000000052586
(MiAaPQ)EBC7070165
(Au-PeEL)EBL7070165
(OCoLC)1340956904
(oapen)https://directory.doabooks.org/handle/20.500.12854/91279
(PPN)264191188
(EXLCZ)995850000000052586
carrierType_str_mv cr
hierarchy_parent_title Lecture notes in computer science v.13372
hierarchy_sequence 13372.
is_hierarchy_title Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.
container_title Lecture notes in computer science v.13372
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1796651906223833089
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02197nam a22003733i 4500</leader><controlfield tag="001">993554872504498</controlfield><controlfield tag="005">20220920213612.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr#cnu||||||||</controlfield><controlfield tag="008">220919s2022 sz a o 101|0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-031-13188-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5850000000052586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC7070165</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL7070165</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1340956904</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/91279</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)264191188</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995850000000052586</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="100" ind1="1" ind2=" "><subfield code="a">Shoham, Sharon</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification :</subfield><subfield code="b">34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.</subfield><subfield code="n">Part II. /</subfield><subfield code="c">editors, Sharon Shoham, Yakir Vizel.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cham</subfield><subfield code="b">Springer Nature</subfield><subfield code="c">2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing AG,</subfield><subfield code="c">2022.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2022.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (560 pages) :</subfield><subfield code="b">illustrations (black and white).</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.13372</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</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="653" ind1=" " ind2=" "><subfield code="a">architecting</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">architecture verification and validation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">artificial intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer science</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">databases</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">distributed computer systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">embedded systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">linguistics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">mathematics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software architecture</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software design</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software quality</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">theoretical computer science</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shoham, Sharon</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-031-13187-8</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vizel, Yakir.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13372.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-05-20 10:10:05 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-08-13 21:17:26 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&amp;portfolio_pid=5339691220004498&amp;Force_direct=true</subfield><subfield code="Z">5339691220004498</subfield><subfield code="b">Available</subfield><subfield code="8">5339691220004498</subfield></datafield></record></collection>

Similar Items