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
Physical Description:Online-Ressource
QR Code: Show QR Code