Vérification sémantique de spécifications métallurgiques

Résumé : Dans ce document nous présentons d'une part une méthode pour vérifier certaines propriétés sémantiques sur des spécifications décrites par des règles, et d'autre part l'implantation de cette méthode dans un programme appelé Versem. Ce travail a été réalisé à la demande de l'entreprise Sollac qui utilise de telles spécifications pour formaliser des processus de transformation métallurgique.
Type de document :
Rapport
[Rapport de recherche] RR-2226, INRIA. 1994
Liste complète des métadonnées

https://hal.inria.fr/inria-00074444
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:18:56
Dernière modification le : samedi 17 septembre 2016 - 01:06:53
Document(s) archivé(s) le : mardi 12 avril 2011 - 16:59:10

Fichiers

Identifiants

  • HAL Id : inria-00074444, version 1

Collections

Citation

Francis Klay, Eric Domenjoud, Claude Kirchner. Vérification sémantique de spécifications métallurgiques. [Rapport de recherche] RR-2226, INRIA. 1994. 〈inria-00074444〉

Partager

Métriques

Consultations de la notice

139

Téléchargements de fichiers

52