Author:
Bouajjani Ahmed,Touili Tayssir
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, and Sriram K. Rajamani. Partial-order reduction in symbolic state space exploration. In Computer Aided Verification, pages 340–351, 1997.
2. Lect Notes Comput Sci;P. Abdulla,1998
3. P. A. Abdulla, A. Bouajjani, B. Jonsson, and M. Nilsson. Handling global conditions in parametrized system verification. Lecture Notes in Com-puter Science, 1633:134–150, 1999.
4. Lect Notes Comput Sci;A. Bouajjani,1997
5. Lect Notes Comput Sci;A. Bouajjani,2000
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking Parameterized Systems;Handbook of Model Checking;2018
2. A Completion Algorithm for Lattice Tree Automata;Implementation and Application of Automata;2013
3. Equational Abstraction Refinement for Certified Tree Regular Model Checking;Formal Methods and Software Engineering;2012
4. Regular model checking;International Journal on Software Tools for Technology Transfer;2011-12-07
5. Extrapolating (omega-)regular model checking;International Journal on Software Tools for Technology Transfer;2011-08-09