Author:
Bardin Sébastien,Finkel Alain,Leroux Jérôme,Schnoebelen Philippe
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Abdulla, P.A., Collomb-Annichini, A., Bouajjani, A., Jonsson, B.: Using forward reachability analysis for verification of lossy channel systems. FMSD 25(1), 39–65 (2004)
2. Lecture Notes in Computer Science;A. Annichini,2000
3. Lecture Notes in Computer Science;A. Annichini,2001
4. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. TCS 138(1), 3–34 (1995)
5. Alur, R., Dill, D.L.: A theory of timed automata. TCS 126(2), 183–235 (1994)
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Solving Infinite-State Games via Acceleration;Proceedings of the ACM on Programming Languages;2024-01-05
2. Ramsey Quantifiers in Linear Arithmetics;Proceedings of the ACM on Programming Languages;2024-01-05
3. ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses;Static Analysis;2023
4. A calculus for modular loop acceleration and non-termination proofs;International Journal on Software Tools for Technology Transfer;2022-10
5. Flat Petri Nets (Invited Talk);Application and Theory of Petri Nets and Concurrency;2021