Deciding properties of timed transition models |
| |
| Authors: | Ostroff J.S. |
| |
| Affiliation: | Dept. of Comput. Sci., York Univ., Ont.; |
| |
| Abstract: | Real-time distributed systems are modeled by a times transition model (TTM). For any finite-state TTM, decision procedures are provided for checking a small but important class of properties (specified in real-time temporal logic). The procedures are linear in the size of the system reachability graph. The class of properties includes invariance, precedence, eventuality and real-time response specifications |
| |
| Keywords: | |
|
|
