Vérification sémantique de spécifications métallurgiques - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1994

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

Francis Klay
  • Function : Author
  • PersonId : 756522
  • IdRef : 191770396
Eric Domenjoud
  • Function : Author
  • PersonId : 833610
Claude Kirchner

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2226.pdf (1.7 Mo) Télécharger le fichier

Dates and versions

inria-00074444 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074444 , version 1

Cite

Francis Klay, Eric Domenjoud, Claude Kirchner. Vérification sémantique de spécifications métallurgiques. [Rapport de recherche] RR-2226, INRIA. 1994. ⟨inria-00074444⟩
74 View
38 Download

Share

Gmail Facebook Twitter LinkedIn More