Aide à la preuve et à la validation en programmation par règles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2003

Aide à la preuve et à la validation en programmation par règles

Abstract

Nous avons complété une boîte à outils pour la preuve et la vérification de programmes par règles. Nous avons étudié et comparé les différents outils déjà disponibles dans l'environnement, notamment des outils de preuve de terminaison, pour proposer une stratégie optimisée d'utilisation et de coopération de ces outils. Nous avons notamment validé un mécanisme de filtrage d'un programme par l'ordre de plongement, qui permet de faciliter l'utilisation d'ordres plus puissants pour assurer la terminaison d'un programme.
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00099734 , version 1

Cite

Issam Chebbi. Aide à la preuve et à la validation en programmation par règles. [Stage] A03-R-500 || chebbi03a, 2003, 132 p. ⟨inria-00099734⟩
47 View
0 Download

Share

Gmail Facebook X LinkedIn More