Systematic testing and formal verification to validate reactive programs

Abstract 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 t...

Full description

Bibliographic Details
Published in:Software quality journal, Vol. 4 (1995), p. 287-307
Other Involved Persons: Müllerburg, Monika ; Holenderski, Leszek ; Maffeis, Olivier ; Merceron, Agathe ; Morley, Matthew
Format: electronic Article
Language:English
ISSN:1573-1367
Item Description:Copyright: Copyright 1995 Chapman & Hall
Physical Description:Online-Ressource
Subjects:
QR Code: Show QR Code