Using context descriptions and property definition patterns for software formal verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Using context descriptions and property definition patterns for software formal verification

Fichier non déposé

Dates et versions

hal-00517276 , version 1 (14-09-2010)

Identifiants

  • HAL Id : hal-00517276 , version 1

Citer

Philippe Dhaussy, Frédéric Boniol, Stephane de Belloy, Julien Auvray, Eric Landel. Using context descriptions and property definition patterns for software formal verification. ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France. ⟨hal-00517276⟩
56 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More