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, Vol. 10, No. 2 (2008), p. 113-129
Main Author: Thomas, Dina
Other Involved Persons: Chakraborty, Supratik ; Pandya, Paritosh
Format: electronic Article
Item Description:D. Thomas was with I.I.T. Bombay when this work was done.
Physical Description:Online-Ressource
QR Code: Show QR Code