Author:
Abdulla Parosh Aziz,Bouajjani Ahmed,Jonsson Bengt,Nilsson Marcus
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Parosh Aziz Abdulla, Ahmed Bouajjani, and Bengt Jonsson. On-the-fly analysis of systems with unbounded, lossy fifo channels. In Proc. 10th Int. Conf. on Computer Aided Verification, volume 1427 of Lecture Notes in Computer Science, pages 305–318, 1998.
2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5th IEEE Int. Symp. on Logic in Computer Science, pages 414–425, Philadelphia, 1990.
3. Parosh Aziz Abdulla and Bengt Jonsson. Verifying programs with unreliable channels. Information and Computation, 127(2):91–101, 1996.
4. Parosh Aziz Abdulla and Bengt Jonsson. Verifying networks of timed processes. In Bernhard Steffen, editor, Proc. TACAS’ 98, 7th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 298–312, 1998.
5. B. Boigelot and P. Godefroid. Symbolic verification of communication protocols with infinite state spaces using QDDs. In Alur and Henzinger, editors, Proc. 8th Int. Conf. on Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 1–12. Springer Verlag, 1996.
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Regular Model Checking Revisited;Model Checking, Synthesis, and Learning;2021
2. Model Checking, Synthesis, and Learning;Model Checking, Synthesis, and Learning;2021
3. Verification of EB3 specifications using CADP;Formal Aspects of Computing;2016-03
4. Decidability of Parameterized Verification;Synthesis Lectures on Distributed Computing Theory;2015-09-29
5. Parametrized invariance for infinite state processes;Acta Informatica;2015-02-25