Property Preserving Abstractions for the Verification of Concurrent Systems


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


Figures and Tables

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


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