id: 05644305
dt: a
an: 05644305
au: Damasceno, Adriana; Farias, Adalberto; Mota, Alexandre
ti: A mechanized strategy for safe abstraction of CSP specifications.
so: Oliveira, Marcel Vinícius Medeiros (ed.) et al., Formal methods:
    Foundations and applications. 12th Brazilian symposium on formal
    methods, SBMF 2009, Gramado, Brazil, August 19‒21, 2009. Revised
    selected papers. Berlin: Springer (ISBN 978-3-642-10451-0/pbk). Lecture
    Notes in Computer Science 5902, 118-133 (2009).
py: 2009
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-10452-7_9
ab: Summary: Infinite models cannot be directly analyzed by model checking. An
    alternative for achieving that is using data abstraction to derive a
    simpler (abstract) but finite model so that the properties can be
    verified using the abstract model instead. This work proposes a
    strategy and an algorithm for generating abstractions of systems
    modeled in the process algebra CSP. These abstractions are safe in the
    sense that they preserve trace-based refinements. We show the
    application of our strategy to an example.
rv: