A Practical Theory of Reactive Systems pp 57-101 | Cite as
Formal Properties of Behaviors
Chapter
Keywords
Temporal Logic Temporal Expression Formal Property Safety Property Predicate Symbol
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer-Verlag Berlin Heidelberg 2005