Authors
Charles Lakos, Laure Petrucci
Publication date
2007/6
Journal
International journal on software tools for technology transfer
Volume
9
Pages
393-411
Publisher
Springer-Verlag
Description
This paper extends modular state space construction for concurrent systems to cater for timed systems. It identifies different forms of timed state space and presents algorithms for computing them. These include uniprocessor algorithms inspired by conservative and optimistic approaches to discrete event simulation, and also a distributed algorithm. The paper discusses implementation issues and performance results for a simple case study.
Total citations
Scholar articles
C Lakos, L Petrucci - International journal on software tools for technology …, 2007