Static Analysis Techniques for Parameterised Boolean Equation Systems-Reference-Cited by-同舟云学术

Static Analysis Techniques for Parameterised Boolean Equation Systems

Published:2009 Issue: Volume: Page:230-245
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Orzan Simona,Wesselink Wieger,Willemse Tim A. C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00768-2_22

Reference16 articles.

1. Lecture Notes in Computer Science;T. Chen,2007

2. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)

3. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL (1977)

4. Lecture Notes in Computer Science;A. Dam van,2008

5. Gallardo, M.M., Joubert, C., Merino, P.: Implementing influence analysis using parameterised boolean equation systems. In: Proc. ISOLA 2006. IEEE Comp. Soc. Press, Los Alamitos (2006)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Simplifying Process Parameters by Unfolding Algebraic Data Types;Theoretical Aspects of Computing – ICTAC 2023;2023

2. Finding compact proofs for infinite-data parameterised Boolean equation systems;Science of Computer Programming;2020-03

3. Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems;Electronic Proceedings in Theoretical Computer Science;2018-02-16

4. Parity game reductions;Acta Informatica;2017-08-04

5. Abstraction in Fixpoint Logic;ACM Transactions on Computational Logic;2015-11-19