Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems-Reference-Cited by-同舟云学术

Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems

Published:2000 Issue: Volume: Page:157-171
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Wang Farn

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46419-0_12

Reference15 articles.

1. Lect Notes Comput Sci;B. Asaraain,1997

2. R. Alur, C. Courcoubetis, D.L. Dill. Model Checking for Real-Time Systems, IEEE LICS, 1990. 157, 158, 159, 164, 165

3. R. Alur, T.A. Henzinger, P.-H. Ho. Automatic Symbolic Verification of Embedded Systems. in Proceedings of 1993 IEEE Real-Time System Symposium. 169

4. F. Balarin. Approximate Reachability Analysis of Timed Automata. IEEE RTSS, 1996. 167, 170

5. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond, IEEE LICS, 1990. 157, 165

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking;International Journal of Software Engineering and Knowledge Engineering;2023-05-17

2. Bounded Model Checking of Synchronous Reactive Models in Ptolemy II;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12

3. Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

4. Representing and Reasoning with Qualitative Preferences: Tools and Applications;Synthesis Lectures on Artificial Intelligence and Machine Learning;2016-01-12

5. Model-checking fair dense-time systems with propositions and events;International Journal on Software Tools for Technology Transfer;2014-04-16