Cybernetics And Systems Analysis logo
Editorial Board Announcements Abstracts Authors Contents
Cybernetics And Systems Analysis
International Theoretical Science Journal
UDC 51.681.3
S.L. Kryvyi, O.M. Maksymets

PROGRAM VERIFICATION: STATE OF THE ART, PROBLEMS, AND RESULTS. II

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.

Keywords: verification, abstract interpretation, transition system, Petri net, model checking.



FULL TEXT

Крывый Сергей Лукьянович, доктор физ.-мат. наук, профессор Киевского национального университета имени Тараса Шевченко,
e-mail: krivoi@i.com.ua.

Максимец Александр Николаевич, аспирант Киевского национального университета имени Тараса Шевченко,
e-mail: maksymets@gmail.com.

© 2017 Kibernetika.org. All rights reserved.