Author:
Abdulla Parosh Aziz,Delzanno Giorgio,Rezine Ahmed
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Fréd'eric Haziz, and Ahmed Rezine. Monotonic abstraction for programs with dynamic memory heaps. In Proc. 20th Int. Conf. on Computer Aided Verification, 2008
2. Parosh Aziz Abdulla, Karlis Čerāns, Bengt Jonsson, and Yih-Kuen Tsay. General decidability theorems for infinite-state systems. In Proc. LICS '96, 11th IEEE Int. Symp. on Logic in Computer Science, pages 313–321, 1996
3. Parameterized verification of infinite-state processes with global conditions;Abdulla,2007
4. Regular model checking without transducers (on efficient verification of parameterized systems);Abdulla,2007
5. Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine. Handling parameterized systems with non-atomic global conditions. In Proc. VMCAI '08, 9th Int. Conf. on Verification, Model Checking, and Abstract Interpretation, 2008
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献