Modular verification of collaboration-based software designs.

Modular verification of collaboration-based software designs.

Most existing modular model checking techniques betray their hardware roots: they assume that modules compose in parallel. In contrast, collaboration-based software designs, which have proven very successful in several domains, are sequential in the simplest case. Most interesting collaboration-base...

Full description

Bibliographic Details
Published in:Software engineering notes. 26, 5 (2001).
Main Author: Fisler, Kathi
Format: Article
Language:English
Subjects:
Software.
Software engineering.
Software / Program Verification.
Model checking.
Software architectures.
Languages (e.g., description, interconnection, definition).
Design tools and techniques.
Modules and interfaces.
Theory of computation.
Logics and meanings of programs.
Specifying and Verifying and Reasoning about Programs.
Specification techniques.
Design.
Verification.
Aspect oriented programming.
Collaboration based design.
Compositional reasoning.
Computer-aided verification.
Software architecture.