Title :
Reply to comments on "An Interval Logic for Real-Time System Specification"
Author :
Bellini, Pierfrancesco ; Nesi, Paolo ; Rogai, Davide
Author_Institution :
Dept. of Syst. & Informatics, Florence Univ.
fDate :
6/1/2006 12:00:00 AM
Abstract :
The paper on Comments on "An Interval Logic for Real-Time System Specification" presents some remarks on the comparison examples from TILCO and other logics and some slips on the related examples. This paper gives evidence that such issues have no impact on the validity of the TILCO theory of paper and provides some further clarifications about some aspects of the comparison
Keywords :
formal specification; real-time systems; specification languages; temporal logic; TILCO theory; interval logic; real-time system specification; Logic; Production; Real time systems; Solids; Timing; Usability; Formal language; TILCO; conciseness.; interval temporal logic; temporal logic;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.2006.57
