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...
|Published in:||Software Quality Journal, Vol. 4, No. 4 (1995), p. 287-307|
|Other Involved Persons:||; ; ;|
|QR Code:||Show QR Code|