The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (2006 vol.32)
pp: 424-427
ABSTRACT
The paper "An Interval Logic for Real-Time System Specification” [5] presents the TILCO specification language and compares it to other existing similar languages. In this comment, we show that several of the logic formulas used for the comparison are flawed and/or overly complicated and we explain why, in this respect, the comparison is moot.
INDEX TERMS
Formal methods, temporal logic, real-time systems.
CITATION
Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo G. Rossi, "Comments on "An Interval Logic for Real-Time System Specification'", IEEE Transactions on Software Engineering, vol.32, no. 6, pp. 424-427, June 2006, doi:10.1109/TSE.2006.50
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool