Author:
van de Pol Jaco,Valero Espada Miguel
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;S. Blom,2001
2. Blom, S.C.C., Groote, J.F., van Langevelde, I.A., Lisser, B., van de Pol, J.C.: New developments around the μCRL tool set. In: ENTCS 80 (2003)
3. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: TOPLAS ACM, vol. 16, pp. 1512–1542 (1994)
4. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In: POPL ACM, pp. 238–252 (1977)
5. Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology (1996)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Overview of the mCRL2 Toolset and Its Recent Advances;Tools and Algorithms for the Construction and Analysis of Systems;2013
2. A Modal Specification Theory for Components with Data;Formal Aspects of Component Software;2012
3. Static Analysis Techniques for Parameterised Boolean Equation Systems;Tools and Algorithms for the Construction and Analysis of Systems;2009
4. An abstract interpretation toolkit for μCRL;Formal Methods in System Design;2006-12-29
5. Accelerated Modal Abstractions of Labelled Transition Systems;Algebraic Methodology and Software Technology;2006