Systematic testing and formal verification to validate reactive programs

The use of systematic testing and formal verification in the validation of reactive systems implemented in synchronous languages is illustrated. Systematic testing and formal verification are two techniques for checking the consistency between a program and its specification. The approach to validat...

Full description

Bibliographic Details
Published in:Software Quality Journal, Vol. 4, No. 4 (1995), p. 287-307
Main Author: Müllerburg, Monika
Other Involved Persons: Holenderski, Leszek ; Maffeis, Olivier ; Merceron, Agathe ; Morley, Matthew
Format: electronic Article
Language:English
ISSN:1573-1367
Physical Description:Online-Ressource
DOI:10.1007/BF00402649
Subjects:
Further Information:Volltext
QR Code: Show QR Code

Published in: Software Quality Journal, Vol. 4, No. 4 (1995), p. 287-307

Feedback Delivery Service
Further Information:
Volltext