Efficient guided symbolic reachability using reachability expressions

Asynchronous systems consist of a set of transitions which are non-deterministically chosen and executed. We present a theory of guiding symbolic reachability in such systems by scheduling clusters of transitions. A theory of reachability expressions which specify the schedules is presented. This th...

Full description

Bibliographic Details
Published in:International journal on software tools for technology transfer : STTT, Vol. 10, No. 2 (2008), p. 113-129
Main Author: Thomas, Dina
Other Involved Persons: Chakraborty, Supratik ; Pandya, Paritosh
Format: electronic Article
Language:English
ISSN:1433-2787
Item Description:D. Thomas was with I.I.T. Bombay when this work was done.
Physical Description:Online-Ressource
DOI:10.1007/s10009-007-0057-7
Subjects:
Further Information:Volltext
QR Code: Show QR Code