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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00074444
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:18:56 PM
Last modification on : Saturday, September 17, 2016 - 1:06:53 AM
Long-term archiving on : Tuesday, April 12, 2011 - 4:59:10 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

152

Files downloads

56