Bibtex de la publication

@Article{ BaBoFiPo2005.4,
author = {Banach, Richard and Bodeveix, Jean-Paul and Filali, Mamoun and Poppleton, Michael},
title = "{Dynamic aspects of retrenchments through temporal logic}",
journal = {Annals of Mathematics, Computing and Teleinformatics},
publisher = {Technological Education Institute of Larissa},
address = {},
year = {2005},
volume = {1},
number = {3},
pages = {18--26},
language = {anglais},
keywords = {refinement, retrenchment, temporal logics,TLA},
abstract = {Refinement is used as a way to verify an implementation with respect to a specification. States of related systems are linked through a so called gluing invariant which remains always true during the synchronous execution of both systems. Refinement is a sufficient condition for this property. Retrenchment is a generalization of refinement which relax the constraints between both systems. This paper proposes a temporal logic counterpart for some specific forms of retrenchment.}