Text

Tools and Algorithms for the Construction and Analysis of Systems; 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

---

Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-26 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. Total 60 makalah reguler yang disajikan dalam volume ini ditinjau dan dipilih dengan saksama dari 155 kiriman. Makalah-makalah tersebut disusun dalam bagian topik sebagai berikut: Bagian I: Verifikasi program; SAT dan SMT; Sistem Terjadwal dan Dinamis; Memverifikasi Sistem Serentak; Sistem Probabilistik; Pemeriksaan Model dan Keterjangkauan; dan Sistem Terjadwal dan Probabilistik. Bagian II: Bisimulasi; Verifikasi dan Efisiensi; Logika dan Pembuktian; Alat dan Studi Kasus; Permainan dan Automata; dan SV-COMP 2020.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.1 BIE t

Publisher

Heidelberg, Jerman : Springer International Publishing., 2020

Collation

1 online resource (XXIV, 425 Pages)

Language

English

ISBN/ISSN

978-3-030-45237-7

Classification

005.1

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Algoritma Komputer

Specific Detail Info

-

Statement of Responsibility

Armin Biere, David Parker

Other Information

Cataloger

erw

Source

https://link.springer.com/10.1007/978-3-030-45237-7

Validator

erw

Digital Object Identifier (DOI)

10.1007/978-3-030-45237-7

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment