Search
Now showing items 1-1 of 1
Visualization of Temporal Logic Specifications
(The Eurographics Association, 2017)
The desired behaviour of a system can be formally specified using a temporal logic, and used to check whether a candidate design meets this specification, or to automatically design a system that does. Such techniques are ...