Tools and Algorithms for the Construction and Anal

Tools and Algorithms for the Construction and Analysis of Systems. Part II.
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings.
Urheber: Vojnar, Tomáš; Zhang, Lijun.
Verlag: Springer International Publishing.
23,5 x 15,5 cm. 55 Abbildungen, farbig, 497 Abbildungen, schwarz-weiß. Seiten: 413.
ISBN-13: 9783030174644.
Erscheinungsdatum: 04.04.2019

Dieses Buch ist Open Access unter einer CC BY Lizenz. Die Verfahren der LNCS 11427 und 11428 stellen die Beratungen der 25. Internationalen Konferenz über Werkzeuge und Algorithmen für den Bau und die Analyse von Systemen, TACAS 2019, dar, die im April 2019 in Prag, Tschechien, im Rahmen der Europäischen Gemeinsamen Konferenzen über Theorie und Praxis der Software, ETAPS 2019, stattfand. Die insgesamt 42 vollständigen und 8 kurzen Tool-Demopapiere, die in diesen Bänden vorgestellt wurden, wurden sorgfältig geprüft und aus 164 Einreichungen ausgewählt. Die Papiere sind wie folgt in thematische Abschnitte gegliedert: Teil I: SAT und SMT, SAT-Lösung und Theoremprüfung; Verifikation und Analyse; Modellprüfung; Werkzeugdemo; und maschinelles Lernen. Teil II: Gleichzeitige und verteilte Systeme; Überwachung und Laufzeitverifikation; hybride und stochastische Systeme; Synthese; symbolische Verifikation; und Sicherheit und fehlertolerante Systeme

Inhalt:
Computerprogrammierung und Softwareentwicklung
Betriebssysteme
Algorithmen und Datenstrukturen
Software Engineering
Theoretische Informatik
Rechnerarchitektur und Logik-Entwurf
Rechnerarchitektur und Logik-Entwurf
Künstliche Intelligenz

Modellprüfung; Computerarchitektur; Programmiersprachen; Theoremprüfung; statische und dynamische Programmanalyse; Synthese und Verifikation; Semantik; Netzwerkarchitektur; Maschinenlerntechniken; Zeitlogik; formale Logik; Spezifikationen; SAT- und SMT-Lösung; Modellprüfung; Softwareentwicklung