VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS

VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS

The paper deals with an interactive method of automatic verification for parallel automata-based programs. The hierarchical state machines can be implemented in different threads and can interact with each other. Verification is done by means of Spin tool and includes automatic Promela model const...

Full description

Bibliographic Details
Main Author: M. A. Lukin
Format: Article
Language:English
Published: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University) 2014-01-01
Series:Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki
Subjects:
parallel automata-based programs
verification
model checking
linear temporal logic
state machines
Spin
Online Access:http://ntv.ifmo.ru/file/article/8396.pdf

Internet

http://ntv.ifmo.ru/file/article/8396.pdf

Similar Items