In this paper, the authors introduced a general formal verification approach that consists of the procedures of two refinement steps, specification extraction from the implementation, and implication proof. They believe that this approach is novel since the implication proof is carried out between two abstract specification models, thus avoiding or mitigating the difficulty of the direct compliance proof of a concrete implementation against an abstract formal specification in traditional Floyd-Hoare verification. A preliminary design is described, and preliminary results from an example indicate that their approach is feasible.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Echo: a practical approach to formal verification


    Beteiligte:
    Strunk, Elisabeth A. (Autor:in) / Yin, Xiang (Autor:in) / Knight, John C. (Autor:in)


    Erscheinungsdatum :

    2005


    Format / Umfang :

    10 Seiten, 5 Bilder, 10 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    The PERF Approach for Formal Verification

    Benaissa, Nazim / Bonvoisin, David / Feliachi, Abderrahmane et al. | British Library Conference Proceedings | 2016


    Verification of Multi-Agent Systems using Formal Approach

    Choi, Jiyoung / Tsourdos, Antonios / White, Brian | AIAA | 2010


    An approach to formal verification of free-flight separation

    Eder, S. / Smith, G. | Tema Archiv | 2010


    Making formal methods practical

    Zimmerman, M. / Rodriguez, M. / Ingram, B. et al. | IEEE | 2000


    Making Formal Methods Practical

    Zimmerman, M. / IEEE / AIAA | British Library Conference Proceedings | 2000