Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleSeptember 1997
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness
COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant DifferenceSeptember 1997, Pages 350–380A compositional method is presented for the verification of multi-agent systems. The advantages of the method are the well-structuredness of the proofs and the reusability of parts of these proofs in relation to reuse of components. The method is ...
- ArticleSeptember 1997
Modular Model Checking
COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant DifferenceSeptember 1997, Pages 381–401In modular verification the specification of a module consists of two parts. One part describes the guaranteed behavior of the module. The other part describes the assumed behavior of the system in which the module is interacting. This is called the ...
- ArticleSeptember 1997
Alternating-Time Temporal Logic
COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant DifferenceSeptember 1997, Pages 23–60Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows explicit existential and universal quantification over ...