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 I. / / 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.13371
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 13371.
Physical Description:1 online resource (563 pages) :; illustrations (black and white).
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993554872604498
ctrlnum (CKB)5850000000052585
(MiAaPQ)EBC7070218
(Au-PeEL)EBL7070218
(oapen)https://directory.doabooks.org/handle/20.500.12854/91308
(PPN)264191196
(EXLCZ)995850000000052585
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 I. / editors, Sharon Shoham, Yakir Vizel.
Cham Springer Nature 2022
Cham : Springer International Publishing AG, 2022.
©2022.
1 online resource (563 pages) : illustrations (black and white).
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Lecture Notes in Computer Science ; v.13371
Includes author index.
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
distributed computer systems
distributed systems
embedded systems
formal logic
mathematics
model checking
programming languages
software architecture
software design
software engineering
software quality
theoretical computer science
verification
verification and validation
Shoham, Sharon editor.
3-031-13184-3
Vizel, Yakir editor.
Lecture notes in computer science 13371.
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
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 I. / editors, Sharon Shoham, Yakir Vizel.
title_fullStr Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I. / editors, Sharon Shoham, Yakir Vizel.
title_full_unstemmed Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I. / 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 (563 pages) : illustrations (black and white).
isbn 3-031-13185-1
3-031-13184-3
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.758
genre_facet Congresses.
illustrated Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 005 - Computer programming, programs & data
dewey-full 005.14
dewey-sort 15.14
dewey-raw 005.14
dewey-search 005.14
work_keys_str_mv AT shohamsharon computeraidedverification34thinternationalconferencecav2022haifaisraelaugust7102022proceedingsparti
AT vizelyakir computeraidedverification34thinternationalconferencecav2022haifaisraelaugust7102022proceedingsparti
status_str n
ids_txt_mv (CKB)5850000000052585
(MiAaPQ)EBC7070218
(Au-PeEL)EBL7070218
(oapen)https://directory.doabooks.org/handle/20.500.12854/91308
(PPN)264191196
(EXLCZ)995850000000052585
carrierType_str_mv cr
hierarchy_parent_title Lecture Notes in Computer Science ; v.13371
hierarchy_sequence 13371.
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.13371
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1796652168207400960
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03162nam a22006853i 4500</leader><controlfield tag="001">993554872604498</controlfield><controlfield tag="005">20231110231458.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-13185-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5850000000052585</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC7070218</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL7070218</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/91308</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)264191196</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995850000000052585</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="082" ind1="0" ind2=" "><subfield code="a">005.14</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 I. /</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 (563 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.13371</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes author index.</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">distributed computer systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">distributed systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">embedded systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal logic</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">programming languages</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="653" ind1=" " ind2=" "><subfield code="a">verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">verification and validation</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shoham, Sharon</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">3-031-13184-3</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vizel, Yakir</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13371.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-11-11 07:07:17 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=5339691250004498&amp;Force_direct=true</subfield><subfield code="Z">5339691250004498</subfield><subfield code="b">Available</subfield><subfield code="8">5339691250004498</subfield></datafield></record></collection>

Similar Items