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

Authors:
S. L. Kryvyi;O. M. Maksymets
Affiliations:
Taras Shevchenko National University of Kyiv, Kyiv, Ukraine;Taras Shevchenko National University of Kyiv, Kyiv, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2014

Citing 3
Cited 0

Automata on infinite objects

Handbook of theoretical computer science (vol. B)
Model checking

Model checking
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.