Combining formal verification and conformance testing for validating reactive systems

Vlad Rusu 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Type de document :
Article dans une revue
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00527591
Contributeur : Mister Dart <>
Soumis le : mardi 19 octobre 2010 - 16:21:33
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00527591, version 1

Collections

Citation

Vlad Rusu. Combining formal verification and conformance testing for validating reactive systems. Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2003. 〈inria-00527591〉

Partager

Métriques

Consultations de la notice

105