Conference paperROGALEWICZ Adam and VOJNAR Tomáš. Tree Automata In Modelling And Verification Of Concurrent Programs. In: Proceedings of ASIS 2004. Ostrava, 2004, pp. 197202. ISBN 8086840034.  Publication language:  english 

Original title:  Tree Automata In Modelling And Verification Of Concurrent Programs 

Title (cs):  Stromové automaty v modelování a verifikaci paralelních programů 

Pages:  197202 

Proceedings:  Proceedings of ASIS 2004 

Conference:  ASIS2004  26th International Autumn Colloquium  Advanced Simulation of Systems 

Place:  Ostrava, CZ 

Year:  2004 

ISBN:  8086840034 

Keywords 

formal verification, regular model checking, automated abstraction 
Annotation 

We consider the problem of automated formal verification of modern
concurrent software systems. Dealing with such systems, which involves
handling unbounded dynamic instantiation, recursion, etc., naturally
leads to a need of dealing with infinite state spaces. We suppose
states of such systems to be viewed as terms with a tree structure and
in the future, we would like to use the regular tree model checking
method for dealing with infinite sets of states. Infinite sets of
states are to be finitely described by tree automata and their
transformations by tree transducers. To facilitate the termination of
the method, we intend to use a generalization of the abstract regular
model checking method proposed for linear words. In the paper, we
discuss the starting points of our work, the problems to be solved, and
briefly sketch our first preliminary steps in the areanamely steps
leading to a library for handling tree automata and transducers to be
used as a basis for our future verification tool. 
BibTeX: 

@INPROCEEDINGS{
author = {Adam Rogalewicz and Tom{\'{a}}{\v{s}} Vojnar},
title = {Tree Automata In Modelling And Verification Of Concurrent
Programs},
pages = {197202},
booktitle = {Proceedings of ASIS 2004},
year = {2004},
location = {Ostrava, CZ},
ISBN = {8086840034},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7617}
} 
