Techniques for Automatic Verification of Real-time Systems
Author | : Rajeev Alur |
Publisher | : |
Total Pages | : 356 |
Release | : 1991 |
ISBN-10 | : OCLC:24995587 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Download or read book Techniques for Automatic Verification of Real-time Systems written by Rajeev Alur and published by . This book was released on 1991 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the proposed verification method, a finite state system is modeled as a composition of time automata, and the correctness is specified either as a deterministic timed automaton, or as a formula of MITL or TCTL. In each case we develop an algorithm for model checking. The distinguishing feature of our work is the use of the set of reals to model time; we argue that the denseness of the time domain is crucial for modeling event-driven asynchronous systems. The thesis also clarifies the relationship between different models and logics for real-time, and answers some basic questions regarding complexity, decidability, and expressiveness."