Sie sind hier: Startseite » EDV / Informatik

Verification, Model Checking, and Abstract Interpr

Verification, Model Checking, and Abstract Interpretation.
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings.
Urheber: Enea, Constantin; Piskac, Ruzica.
Verlag: Springer International Publishing.
23,5 x 15,5 cm. 1260 Abbildungen, schwarz-weiß, 69 Abbildungen, farbig, Seiten: 602.
ISBN-13: 9783030112448.
Erscheinungsdatum: 11.01.2019

Dieses Buch stellt den referierten Beitrag der 20. Internationalen Konferenz über Verifikation, Modellprüfung und abstrakte Interpretation, VMCAI 2019, dar, die im Januar 2019 in Cascais, Portugal, stattfand. 27 vollständige Papiere, die zusammen mit den Abstracts von 3 eingeladenen Keynote-Vorträgen präsentiert wurden, wurden sorgfältig geprüft und aus 62 Einreichungen ausgewählt. VMCAI bietet Themen wie: Programmverifikation, Modellprüfung, abstrakte Interpretation, Programmsynthese, statische Analyse, Typensysteme, deduktive Methoden, Programmzertifizierung, Entscheidungsverfahren, Theoremprüfung, Programmzertifizierung, Debugging-Techniken, Programmtransformation, Optimierung und hybride und cyberphysikalische Systeme.

Inhalt:
Computerprogrammierung und Softwareentwicklung
Netzwerk-Hardware
Software Engineering
Rechnerarchitektur und Logik-Entwurf


Logik und Verifikation; Hoare-Logik; Modellprüfung; Trennlogik; Verifikation durch Modellprüfung; Abstraktion; formale Methoden; Softwareverifikation; automatisierte statische Analyse; Programmlogik.