Program Verification: State of the Art, Problems, and Results. II1

Program Verification: State of the Art, Problems, and Results. II1

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, Vol.50 (1), p.8-16
Hauptverfasser: Kryvyi, S. L., Maksymets, O. M.
Format: Artikel
Sprache:eng
Schlagworte:
Artificial Intelligence
Control
Mathematics
Mathematics and Statistics
Processor Architectures
Software Engineering/Programming and Operating Systems
Systems Theory
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