| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6876041 | Theoretical Computer Science | 2015 | 22 Pages |
Abstract
In this paper, we consider the task of model-building for temporal logic specifications over the real-number linear flow of time. We present a new notation for giving a detailed description of the compositional construction of such a model and an efficient procedure for finding such a description from the temporal specification.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Tim French, John McCabe-Dansted, Mark Reynolds,