Deciding safety and liveness in TPTL

Thumbnail
Metadata only
Author
Basin, David
Jimenez, Carlos Cotrini
Klaedtke, Felix
Zălinescu, Eugen
Show all
Date
2014-12
Type
  • Journal Article
Publication status
published
External links
Full text via SFX
Journal / series
Information Processing Letters
Volume
114(12)
Pages
680 - 688
Publisher
Elsevier
Subject
Formal methods; Real-time systems; Temporal logic; Safety and liveness; Verification; Computational complexity
Organisational unit
03634 - Basin, David
Notes
Received 30 October 2013, Received 1 April 2014, Accepted 10 June 2014, Available online 13 June 2014.
More
Show all metadata
Altmetrics