Loading...
Please wait, while we are loading the content...
Similar Documents
Systematic Testing and Formal Veriication to Validate Reactive Programs. Systematic Testing and Formal Veriication to Validate Reactive Programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Holenderski, Leszek Merceron, Agathe Birlinghoven, Matthew Morleygmd-Setschloss |
| Copyright Year | 1995 |
| Abstract | The use of systematic testing and formal veriication in the validation of reactive systems implemented in synchronous languages is illustrated. Systematic testing and formal veriication are two techniques for checking the consistency between a program and its speciication. The approach to validation is through speciication: two system views are developed in addition to the program, a behavioural speciication for systematic testing and a logical speciication for formal veriication. Pursuing both activities, reactive programs can be validated both more eeciently (in terms of costs) and more eeectively (in terms of conndence in correctness). This principle is demonstrated here using the well known lift example. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |