Refined Interfaces for Compositional Verification

  title={Refined Interfaces for Compositional Verification},
  author={Fr{\'e}d{\'e}ric Lang},
The compositional verification approach of Graf & Steffen aims at avoiding state space explosion for individual processes of a concurrent system. It relies on interfaces that express the behavioural constraints imposed on each process by synchronization with the other processes, thus preventing the exploration of states and transitions that would not be reachable in the global state space. Krimm & Mounier, and Cheung & Kramer proposed two techniques to generate such interfaces automatically. In… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 21 extracted citations

Formal Aspects of Component Software

Lecture Notes in Computer Science • 2017
View 3 Excerpts
Method Support

Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions

2014 14th International Conference on Application of Concurrency to System Design • 2014
View 1 Excerpt

CADP 2011: a toolbox for the construction and analysis of distributed processes

International Journal on Software Tools for Technology Transfer • 2012
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 35 references

Algebraic process verification

View 7 Excerpts
Highly Influenced

Syntax and semantics of CRL

View 7 Excerpts
Highly Influenced

Compositional Analysis of Complex Distributed Systems

K. H. Cheung
PhD thesis, • 1998
View 9 Excerpts
Highly Influenced

Context Constraints for Compositional Reachability Analysis

ACM Trans. Softw. Eng. Methodol. • 1996
View 9 Excerpts
Highly Influenced