IEEE - Institute of Electrical and Electronics Engineers, Inc. - An efficient state space generation for the analysis of real-time systems

Author(s): I. Kang ; I. Lee ; Young-Si Kim
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2000
Volume: 26
Page Count: 25
Page(s): 453 - 477
ISSN (Paper): 0098-5589
DOI: 10.1109/32.846302
Regular:

State explosion is a well-known problem that impedes analysis and testing based on state-space exploration. This problem is particularly serious in real time systems because unbounded time values... View More

Advertisement