Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS

Résumé

This paper describes a work on the systematic embedding into SAL of specifications written in the integrated approach of Configuration Machines. The final goal is to perform formal analysis. SAL is an intermediate language used as an input language of various formal reasoning tools and especially PVS. The Configuration Machine approach is a specification technique combining transition systems and state based data models. Our embedding technique, based on a systematic translation of the specifications into SAL, is presented, formalised and discussed.

Dates et versions

hal-00421160 , version 1 (30-09-2009)

Identifiants

Citer

J. Christian Attiogbe. Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. 4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. pp.120-131, ⟨10.1007/3-540-36103-0_15⟩. ⟨hal-00421160⟩
61 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More