TY  - JOUR
A1  - Glück, Roland
A1  - Möller, Bernhard
A1  - Sintzoff, Michel
T1  - Model refinement using bisimulation quotients
T2  - Lecture Notes in Computer Science
N2  - The paper shows how to refine large-scale or even infinite transition systems so as to ensure certain desired properties. First, a given system is reduced into a smallish, finite bisimulation quotient. Second, the reduced system is refined in order to ensure a given property, using any known finite-state method. Third, the refined reduced system is expanded back into an adequate refinement of the system given initially. The proposed method is based on a Galois connection between systems and their quotients. It is applicable to various models and bisimulations and is illustrated with a few qualitative and quantitative properties.
Y1  - 2011
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58784
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587847
SN  - 9783642177958
SN  - 9783642177965
SN  - 0302-9743
SN  - 1611-3349
VL  - 6486
SP  - 76
EP  - 91
PB  - Springer
CY  - Berlin
ER  -