Author:
Bouajjani Ahmed,Esparza Javier,Maler Oded
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. A.V. Aho, J.E. Hopcroft, and J.D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1976.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. TCS, 138, 1995.
3. R. Alur and D. Dill. A Theory of Timed Automata. TCS, 126, 1994.
4. E. Asarin, O. Maler, and A. Pnueli. Symbolic Controller Synthesis for Discrete and Timed Systems. In Hybrid Systems II. LNCS 999, 1995.
5. B. Boigelot and P. Godefroid. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. In CAV'96. LNCS 1102, 1996.
Cited by
262 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Deciding Asynchronous Hyperproperties for Recursive Programs;Proceedings of the ACM on Programming Languages;2024-01-05
2. A Navigation Logic for Recursive Programs with Dynamic Thread Creation;Lecture Notes in Computer Science;2023-12-30
3. The Recursive Arrival Problem;Electronic Proceedings in Theoretical Computer Science;2023-09-30
4. A Model Checker for Operator Precedence Languages;ACM Transactions on Programming Languages and Systems;2023-09-23
5. Interval Temporal Logic for Visibly Pushdown Systems;ACM Transactions on Computational Logic;2023-04-17