Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00421160
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Wednesday, September 30, 2009 - 11:40:13 PM
Last modification on : Wednesday, April 27, 2022 - 4:01:02 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

58