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 II

Search by :

ALL Author مضمون آئی ایس بی این/آئی ایس ایس این تلاشِ اعلٰی

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 II

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 II

HUISMAN, Marieke - ذاتی نام; BEYER, Dirk - ذاتی نام;

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.

دستیابی

No copy data

Detail Information

سلسلہ عنوان: -
حوالہ نمبر: 005.1 bey T
ناشر: Heidelberg, Jerman : Springer International Publishing., 2018
Collation: 1 online resource (474 Pages)
زبان: English
آئی ایس بی این/آئی ایس ایس این: 978-3-319-89963-3
درجہ بندی:: 005.1
Content Type: text
Media Type: computer
Carrier Type: online resource
شامل کریں: -
موضوع(s): Rekayasa Perangkat Lunak
مخصوص تفصیل معلومات: -
Statement of Responsibility: Dirk Beyer, Marieke Huisman

Other Information

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

Other version/related

No other version available

فائل منسلک کرنا

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