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

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:
2013

Citing 7
Cited 0

Two-level semantics and abstract interpretation

Theoretical Computer Science
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
A unified approach to global program optimization

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract Interpretation Based Formal Methods and Future Challenges

Informatics - 10 Years Back. 10 Years Ahead.
Modular Static Program Analysis

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Calculating properties of programs by valuations on specific models

Proceedings of ACM conference on Proving assertions about programs

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 interpretation, transition systems, and Petri nets.