Text

Computer Aided Verification; 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

---

Set dua volume akses terbuka LNCS 13371 dan 13372 ini merupakan prosiding yang diseleksi dari Konferensi Internasional ke-34 tentang Verifikasi Berbantuan Komputer, CAV 2022, yang diadakan di Haifa, Israel, pada bulan Agustus 2022. 40 makalah lengkap yang disajikan bersama dengan 9 makalah alat dan 2 studi kasus ditinjau dengan saksama dan dipilih dari 209 kiriman. Makalah-makalah tersebut disusun dalam bagian topik berikut: Bagian I: Makalah undangan; metode formal untuk program probabilistik; metode formal untuk jaringan saraf; Verifikasi perangkat lunak dan pemeriksaan model; hiperproperti dan keamanan; metode formal untuk sistem perangkat keras, siber-fisik, dan hibrida. Bagian II: Teknik probabilistik; automata dan logika; verifikasi deduktif dan prosedur keputusan; pembelajaran mesin; sintesis dan konkurensi.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.14 SHO c

Publisher

Heidelberg, Jerman : Springer International Publishing., 2022

Collation

1 online resource (XIX, 555 Pages)

Language

English

ISBN/ISSN

978-3-031-13185-1

Classification

005.14

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Verifikasi perangkat lunak

Specific Detail Info

-

Statement of Responsibility

Sharon Shoham, Yakir Vizel

Other Information

Cataloger

erw

Source

https://link.springer.com/10.1007/978-3-031-13185-1

Validator

erw

Digital Object Identifier (DOI)

10.1007/978-3-031-13185-1

Journal Volume

13371

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment