A benchmark for comparing different approaches for specifying and verifying real-time systems
| Author(s) : | R. D. Jeffords B. G. Labaw C. L. Heitmeyer, |
| Publisher : | N/A |
| Publication Date : | 1993 |
| ISSN : | N/A |
| Abstract : | To be considered correct or useful, real-time systems must deliver results within specified time intervals, either without exception or with high probability. Recently, a large number of formal methods have been invented for specifying and verifying real-time systems. It has, |