Preuves de systèmes réactifs dans le modèle synchrone - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1999

Preuves de systèmes réactifs dans le modèle synchrone

Abstract

Prouver la correction de programmes informatiques devient une contrainte importante dans la réalisation de logiciels. Les systèmes réactifs se développent comme modèles de gestion de flots de données. Le but de ce travail est de proposer une spécification logique de tels systèmes afin de prouver des propriétés grâce au système de démonstration automatique SPIKE.
No file

Dates and versions

inria-00098855 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098855 , version 1

Cite

Julien Musset. Preuves de systèmes réactifs dans le modèle synchrone. [Stage] 99-R-300 || musset99a, 1999, 30 p. ⟨inria-00098855⟩
40 View
0 Download

Share

Gmail Facebook X LinkedIn More