 |
 |
 |
 |
|
|
|
|
| HAL : hal-00421160, version 1 |
| DOI : 10.1007/3-540-36103-0_15 |
| Fiche détaillée |  Récupérer au format |
 |
| 4th International Conference on Formal Engineering Methods, ICFEM'2002, Shanghai : China (2002) |
|
|
|
|
| Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS |
|
|
| J. Christian Attiogbe 1 |
|
|
| (01/01/2002) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Génie logiciel |
|
|
| Selantic Embedding – Method Integration – PVS – SAL – Z |
|
| hal-00421160, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00421160 | |
| oai:hal.archives-ouvertes.fr:hal-00421160 | |
| Contributeur : Christian Attiogbe | |
| Soumis le : Mercredi 30 Septembre 2009, 23:40:13 | |
| Dernière modification le : Mercredi 30 Septembre 2009, 23:40:13 | |
