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...
|Published in:||Software quality journal, Vol. 4 (1995), p. 287-307|
|Other Involved Persons:||; ; ; ;|
|Item Description:||Copyright: Copyright 1995 Chapman & Hall|
|QR Code:||Show QR Code|