HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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 metadata

https://hal.inria.fr/inria-00074444
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 3:18:56 PM
Last modification on : Friday, February 4, 2022 - 3:17:28 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

71

Files downloads

37