Text

Computer Aided Verification; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

---

Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berbagai topik dan teknik, mulai dari landasan verifikasi algoritmik dan logis hingga aplikasi praktis dalam sistem terdistribusi, berjejaring, fisik siber, dan otonom. Mereka diatur dalam bagian topik tentang pemeriksaan model, analisis program menggunakan polihedra, sintesis, pembelajaran, verifikasi runtime, sistem hibrid dan berjangka waktu, alat, sistem probabilistik, analisis statis, teori dan keamanan, SAT, SMT dan prosedur keputusan, konkurensi, dan CPS, perangkat keras, aplikasi industri.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.14 CHO c

Publisher

Heidelberg, Jerman : Springer International Publishing., 2018

Collation

1 online resource (709 Pages)

Language

English

ISBN/ISSN

978-3-319-96145-3

Classification

005.14

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Verifikasi dan Validasi Perangkat Lunak

Specific Detail Info

-

Statement of Responsibility

Hana Chockler, George Weissenbacher

Other Information

Cataloger

erwin

Source

https://link.springer.com/10.1007/978-3-319-96145-3

Validator

erwin

Digital Object Identifier (DOI)

10.1007/978-3-319-96145-3

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment