- Full text PDF available (1)
Methods and approaches for testing the reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology. The authors present some of the crucial questions faced by software programmers and eventual users.
This paper demonstrates how the extended duration calculus  can be used to support the approach to documentation of computer systems presented by in . This approach uses the general concept of mathematical relations to specify properties, while the calculus of durations provides the means to reason about such specifications, and in particular, prove… (More)