Program Verification: State of the Art, Problems, and Results. II^sup 1

Program Verification: State of the Art, Problems, and Results. II^sup 1

An analytical survey of modern verification methods for sequential, functional, reactive, and distributed systems is presented. The emphasis is on methods based on properties of abstract interpretations, transition systems, and Petri nets.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis 2014-01, Vol.50 (1), p.8
Hauptverfasser: Kryvyi, S L, Maksymets, O M
Format: Artikel
Sprache:eng
Schlagworte:
Mathematical analysis
Mathematical models
Software engineering
Studies
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:An analytical survey of modern verification methods for sequential, functional, reactive, and distributed systems is presented. The emphasis is on methods based on properties of abstract interpretations, transition systems, and Petri nets.
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-014-9588-6