Property Preserving Abstractions for the Verification of Concurrent Systems

Abstract

We study property preserving transformations for reactive systems. The main idea is the use of simulationsparameterized by Galois connections(), relating the lattices of properties of two systems. We propose and study a notion of preservation of properties expressed by formulas of a logic, by a function mapping sets of states of a system S into sets of… (More)
DOI: 10.1007/BF01384313

Topics

Figures and Tables

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

Statistics

0204060'96'99'02'05'08'11'14'17
Citations per Year

481 Citations

Semantic Scholar estimates that this publication has 481 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics