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
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/inria-00527591
Contributor : Mister Dart <>
Submitted on : Tuesday, October 19, 2010 - 4:21:33 PM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

181