Abstract. An analytical survey of the modern verification methods for sequential functional, reactive, and distributed systems is presented. The main attention is given to the methods that are based on the properties of abstract interpretation, transition systems, and Petri nets. Figs: 3. Refs: 20 titles.
Keywords: verification, abstract interpretation, transition system, Petri net, model checking.
Крывый Сергей Лукьянович,
доктор физ.-мат. наук, профессор Киевского национального университета имени Тараса Шевченко,
e-mail: krivoi@i.com.ua.
Максимец Александр Николаевич,
аспирант Киевского национального университета имени Тараса Шевченко,
e-mail: maksymets@gmail.com.