IEEE - Institute of Electrical and Electronics Engineers, Inc. - Compositional Abstraction Refinement for Timed Systems

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Fei He ; He Zhu ; Hung, W.N.N. ; Xiaoyu Song ; Ming Gu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 25 August 2010
Page(s): 168 - 176
ISBN (Paper): 978-1-4244-7847-7
DOI: 10.1109/TASE.2010.27
Regular:

Model checking suffers from the state explosion problem. Compositional abstraction and abstraction refinement have been investigated in many areas to address this problem. This paper considers the... View More

Advertisement