Tools and Algorithms for the Construction and Analysis of Systems; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of Tools and Algorithms for the Construction and Analysis of Systems; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Text

Tools and Algorithms for the Construction and Analysis of Systems; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

BEYER, Dirk - Personal Name; HUISMAN, Marieke - Personal Name;

Rangkaian prosiding LNCS 10805 dan 10806 merupakan prosiding Konferensi Internasional ke-24 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Total 43 makalah lengkap dan 11 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih secara saksama dari 154 kiriman. Makalah-makalah tersebut disusun dalam bagian topik sebagai berikut: Bagian I: pembuktian teorema; SAT dan SMT I; verifikasi deduktif; verifikasi dan pengoptimalan perangkat lunak; pengecekan model; dan pembelajaran mesin. Bagian II: sistem konkuren dan terdistribusi; SAT dan SMT II; sistem keamanan dan reaktif; analisis program statis dan dinamis; sistem hibrida dan stokastik; logika temporal dan mu-kalkulus; Kompetisi ke-7 tentang Verifikasi Perangkat Lunak – SV-COMP.

Availability

No copy data

Detail Information

Series Title: -
Call Number: 005.1 BEY t
Publisher: Heidelberg, Jerman : Springer International Publishing., 2018
Collation: 1 online resource (439 Pages)
Language: English
ISBN/ISSN: 978-3-319-89960-2
Classification: 005.1
Content Type: text
Media Type: computer
Carrier Type: online resource
Edition: 1
Subject(s): Rekayasa Perangkat Lunak
Specific Detail Info: -
Statement of Responsibility: Dirk Beyer, Marieke Huisman

Other Information

Cataloger: erwin
Source: https://link.springer.com/10.1007/978-3-319-89960-2
Validator: erwin
Digital Object Identifier (DOI): 10.1007/978-3-319-89960-2
Journal Volume: -
Journal Issue: -
Subtitle: -
Parallel Title: -

Other version/related

No other version available

File Attachment

Tools and Algorithms for the Construction and Analysis of Systems; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceeding

Comments

You must be logged in to post a comment