Visualization of Temporal Logic Specifications
Loading...
Date
2017
Journal Title
Journal ISSN
Volume Title
Publisher
The Eurographics Association
Abstract
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 in principle applicable to a wide range of types of systems, but their current extent of use does not fulfill their potential. One limitation has been the difficulty of writing and reading formal specifications. We present preliminary work on a visual method of viewing and editing specifications that is intended to address this challenge.
Description
@inproceedings{10.2312:eurp.20171183,
booktitle = {EuroVis 2017 - Posters},
editor = {Anna Puig Puig and Tobias Isenberg},
title = {{Visualization of Temporal Logic Specifications}},
author = {Scott-Brown, James and Papachristodoulou, Antonis},
year = {2017},
publisher = {The Eurographics Association},
ISBN = {978-3-03868-044-4},
DOI = {10.2312/eurp.20171183}
}