Comments on Comments on An Interval Logic for Real-Time System Specificatio

deep search

collection's Playback

Metadata

Metadata languages

Title Comments on Comments on An Interval Logic for Real-Time System Specificatio

Subject Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines

Description Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines

Description 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 [1] and provides some further clarifications about some aspects of the comparison.

Description P. Bellini, P. Nesi, D. Rogai, “Comments on Comments on "An Interval Logic for Real-Time System Specification", Software Engineering, IEEE Transactions on, IEEE press, Volume 32, Issue 6, June 2006, Page(s):428 – 431, Digital Object Identifier 10.1109/TSE.2006.57, ISSN 0098-5589, April 2006

Technical