Text

Computer Aided Verification; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

---

Set dua volume akses terbuka LNCS 12759 dan 12760 ini merupakan prosiding yang diseleksi dari Konferensi Internasional ke-33 tentang Verifikasi Berbantuan Komputer, CAV 2021, yang diselenggarakan secara virtual pada bulan Juli 2021. 63 makalah lengkap yang dipresentasikan bersama dengan 16 makalah alat dan 5 makalah undangan ditinjau dan dipilih secara saksama dari 290 kiriman. Makalah-makalah tersebut disusun dalam bagian topik berikut: Bagian I: makalah undangan; verifikasi AI; konkurensi dan blockchain; sistem hibrida dan siber-fisik; keamanan; dan sintesis. Bagian II: kompleksitas dan penghentian; prosedur dan pemecah keputusan; pemeriksaan perangkat keras dan model; fondasi logis; dan verifikasi perangkat lunak.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.14 SIL c

Publisher

Heidelberg, Jerman : Springer International Publishing., 2021

Collation

1 online resource (XXIV, 922 Pages)

Language

English

ISBN/ISSN

978-3-030-81685-8

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

Alexandra Silva, K. Rustan M. Leino

Other Information

Cataloger

erw

Source

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

Validator

erw

Digital Object Identifier (DOI)

10.1007/978-3-030-81685-8

Journal Volume

12759

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment