Proving Entailment Between Conceptual State Specifications

Abstract

The lack of expressive power of temporal logic as a speciication language can be compensated to a certain extent by the introduction of powerful, high-level temporal operators, which are diicult to understand and reason about. A more natural way to increase the expressive power of a temporal speciication language is by introducing conceptual state variables… (More)
DOI: 10.1007/3-540-16442-1_15

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics