Comments on "An Interval Logic for Real-Time System Specification'

Authors:
Carlo A. Furia;Angelo Morzenti;Matteo Pradella;Matteo G. Rossi
Affiliations:
IEEE;-;-;-
Venue:
IEEE Transactions on Software Engineering
Year:
2006

Citing 3
Cited 0

Validating real-time systems by history-checking TRIO specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
An Interval Logic for Real-Time System Specification

IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.