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...

Descripción completa

Detalles Bibliográficos
Publicado en:	Software engineering notes. 26, 5 (2001).
Autor principal:	Fisler, Kathi
Formato:	Artículo
Lenguaje:	English
Materias:	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.