@inproceedings{3cad650bca1e4f6eb48b10deff289157,
title = "Model-checking for real-time systems",
abstract = "Efficient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. However, these algorithms are faced with two potential types of explosion arising from parallel composition: explosion in the space of control nodes, and explosion in the region space over clock-variables. This paper reports on work attacking these explosion problems by developing and combining compositional and symbolic model-checking techniques. The presented techniques provide the foundation for a new automatic verification tool UPPAAL. Experimental results show that UPPAAL is not only substantially faster than other real-time verification tools but also able to handle much larger systems.",
author = "Larsen, \{Kim G.\} and Paul Pettersson and Wang Yi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 10th Conference on Fundamentals of Computation Theory, FCT 1995 ; Conference date: 22-08-1995 Through 25-08-1995",
year = "1995",
doi = "10.1007/3-540-60249-6\_41",
language = "英语",
isbn = "3540602496",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "62--88",
editor = "Horst Reichel",
booktitle = "Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings",
address = "德国",
}