Oleksandr Maksymets
Oleksandr Maksymets
Home
Publications
Talks
Experience
1
Program Verification: State of the Art, Problems, and Results
An analytical survey of modern verification methods for sequential functional, reactive, and distributed systems is presented.
S. L. Kryvyi
,
Oleksandr Maksymets
PDF
«
Cite
×