Istituto di Scienza e Tecnologie dell'Informazione     
Benedikt M., Godefroid P., Reps T. Model checking of unrestricted hierarchical state machines. In: ICALP - 28th International Colloquium on Automata, Languages and Programming (Creta, Greece, 8-21 July 2001). Proceedings, pp. 652 - 666. Fernando Orejas,Paul G. Spirakis,Jan van Leeuwen (eds.). (Lecture Notes in Computer Science). Springer Berlin, 2001.
Hierarchical State Machines (HSMs) are a natural model for representing the behavior of software systems. In this paper, we investigate a variety of model-checking problems for an extension of HSMs in which state machines are allowed to call each other recursively.
URL: http://www.springerlink.com/content/qhrm69mv6xum2d12/
DOI: 10.1007/3-540-48224-5_54

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional