Proving Behavioral Refinements of COL-specifications

Abstract

The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software systems. In this paper we consider behavioral refinement relations between COL-specifications taking into account implementation constructions. We propose a general strategy for… (More)
DOI: 10.1007/11780274_18

Topics

Figures and Tables

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

Slides referencing similar topics