Visualization of Temporal Logic Specifications

Simple item page
dc.contributor.authorScott-Brown, Jamesen_US
dc.contributor.authorPapachristodoulou, Antonisen_US
dc.contributor.editorAnna Puig Puig and Tobias Isenbergen_US
dc.date.accessioned2017-06-12T05:18:04Z
dc.date.available2017-06-12T05:18:04Z
dc.date.issued2017
dc.description.abstractThe 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.en_US
dc.description.sectionheadersPosters
dc.description.seriesinformationEuroVis 2017 - Posters
dc.identifier.doi10.2312/eurp.20171183
dc.identifier.isbn978-3-03868-044-4
dc.identifier.pages117-119
dc.identifier.urihttps://doi.org/10.2312/eurp.20171183
dc.identifier.urihttps://diglib.eg.org:443/handle/10.2312/eurp20171183
dc.publisherThe Eurographics Associationen_US
dc.subjectH.5.2 [Information Interfaces and Presentation]
dc.subjectPicture/Image Generation
dc.subjectUser Interfaces
dc.titleVisualization of Temporal Logic Specificationsen_US
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
117-119.pdf
Size:
297.09 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
eurovis2017-posters0142-file1.mp4
Size:
63.15 MB
Format:
Unknown data format
Download
No Thumbnail Available
Name:
eurovis2017-posters0142-file4.mp4
Size:
2.58 MB
Format:
Unknown data format
Download
Collections
EuroVisPosters2017