Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference25 articles.
1. Asarin E, Bozga M, Kerbrat A, Maler O, Pnueli A, Rasse A (1997) Data-structures for the verification of timed automata. In: Proceedings of HART’97 (International Workshop on Hybrid And Real-Time Systems) 1997. Lecture notes in computer science, vol 1201. Springer, Berlin Heidelberg New York
2. Alur R, Courcoubetis C, Dill DL (1990) Model checking for real-time systems. IEEE LICS (5th International Symposium on Logics in Computer Science), June 1990, Philadelphia, USA, IEEE Computer Society, pp 414–425
3. Balarin F (1996) Approximate reachability analysis of timed automata. IEEE RTSS (17th IEEE Real-Time Sytems Symposium), December 1996, Washington D.C., USA, IEEE Computer Society, pp 52–61
4. Burch JR, Clarke EM, McMillan KL, Dill DL, Hwang LJ (1990) Symbolic model checking: 1020 states and beyond. IEEE LICS (5th International Symposium on Logics in Computer Science), June 1990, Philadelphia, USA, IEEE Computer Society, pp 428–439
5. Bozga M, Daws C, Maler O (1998) Kronos: a model-checking tool for real-time systems. In: Proceedings of the 10th conference on computer-aided verification (CAV’98), June/July 1998. Lecture notes in computer science, vol 1427. Springer, Berlin Heidelberg New York
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献