Text

Computer Aided Verification; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

---

Kumpulan LNC 11561 dan 11562 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-31 tentang Verifikasi Berbantuan Komputer, CAV 2019, yang diadakan di New York City, AS, pada Juli 2019. 52 makalah lengkap yang dipresentasikan bersama dengan 13 makalah alat dan 2 studi kasus, ditinjau dan dipilih dengan cermat dari 258 pengajuan. Makalah-makalah tersebut disusun dalam bagian topik berikut: Bagian I: automata dan sistem berjangka waktu; keamanan dan hiperproperti; sintesis; pemeriksaan model; sistem cyber-physical dan pembelajaran mesin; sistem probabilistik, teknik runtime; sistem dinamis, hibrid, dan reaktif; Bagian II: logika, prosedur keputusan; dan pemecah; program numerik; verifikasi; sistem dan jaringan terdistribusi; verifikasi dan invarian; dan konkurensi.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.14 DRI c

Publisher

Heidelberg, Jerman : Springer International Publishing., 2019

Collation

1 online resource (680 Pages)

Language

English

ISBN/ISSN

978-3-030-25540-4

Classification

005.14

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Verifikasi dan Validasi Perangkat Lunak

Specific Detail Info

-

Statement of Responsibility

Isil Dillig, Serdar Tasiran

Other Information

Cataloger

erwin

Source

https://link.springer.com/10.1007/978-3-030-25540-4

Validator

erwin

Digital Object Identifier (DOI)

10.1007/978-3-030-25540-4

Journal Volume

11561

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment