Text

Computer Aided Verification; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

---

Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah tersebut disusun dalam bagian topik berikut: Bagian I: Verifikasi AI; Blockchain dan Keamanan; Konkurensi; Verifikasi perangkat keras dan prosedur keputusan; dan sistem hibrida dan dinamis. Bagian II: Pemeriksaan model; Verifikasi perangkat lunak; Sistem stokastik; dan sintesis. *Konferensi diadakan secara virtual karena pandemi COVID-19

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.14 LAH c

Publisher

Heidelberg, Jerman : Springer International Publishing., 2020

Collation

1 online resource (XVIII, 683 Pages)

Language

English

ISBN/ISSN

-

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

Shuvendu K. Lahiri, Chao Wang

Other Information

Cataloger

erw

Source

https://link.springer.com/10.1007/978-3-030-53291-8

Validator

erw

Digital Object Identifier (DOI)

10.1007/978-3-030-53291-8

Journal Volume

12225

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment