A verification system for timed interval calculus

Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support, as its verification usually involves infinite time intervals and continuous dynamics. In this paper, we develop a syste...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: CHEN, Chunqing, DONG, Jin Song, SUN, Jun
التنسيق: text
اللغة:English
منشور في: Institutional Knowledge at Singapore Management University 2008
الموضوعات:
PVS
الوصول للمادة أونلاين:https://ink.library.smu.edu.sg/sis_research/4963
https://ink.library.smu.edu.sg/context/sis_research/article/5966/viewcontent/1368088.1368126.pdf
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!