Author:
Abdulla Parosh Aziz,Atig Mohamed Faouzi,Cederberg Jonathan
Publisher
Springer International Publishing
Reference32 articles.
1. Lecture Notes in Computer Science;P. Abdulla,1994
2. Abdulla, P.A., Atig, M.F., Cederberg, J.: Alternator - Verifier of programs by bounding mode alternations,
https://github.com/it-apv/alternator
3. Lecture Notes in Computer Science;P.A. Abdulla,2012
4. Abdulla, P.A., Collomb-Annichini, A., Bouajjani, A., Jonsson, B.: Using forward reachability analysis for verification of lossy channel systems. Formal Methods in System Design 25(1), 39–65 (2004)
5. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. In: Proc. LICS 1993, 8th IEEE Int. Symp. on Logic in Computer Science, pp. 160–170 (1993)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献