Verifying Component-Based Collaboration Designs
Kathi Fisler, Shriram Krishnamurthi, Don S. Batory · 2001
this paper, we outline a vision of analysis techniques for this design domain and argue that most conventional compositional verification techniques, such as are found in the model checking literature, are poorly suited for this domain