logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

Comments on An interval logic for real-time system specification

delete2006-06-01
delete0
delete
OA
AI
C
Carlo A. Furia *
A
Angelo Morzenti
M
Matteo Pradella
R
Rossi, MG
DOI：10.1109/TSE.2006.50delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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.
Keywords:
formal methods
temporal logic
real-time systems

Journal

IEEE Transactions on Software Engineering cover
IEEE Transactions on Software Engineering
IF:
5.6
Papers:
2.8K
Citations:
1.1W

Organization

No organization information available