Paper Info
Title
Modelling Real-Time Systems with Continuous-Time Temporal Logic
Abstract
LTLC is a continuous-time linear temporal logic for the specification of real-time systems. It can express both the properties and the implementations of real-time systems. With LTLC, real-time systems can be described at many levels of abstraction, from high-level requirement specifications to low-level implementation models, and the conformance between different descriptions can be expressed by logical implication. This paper will describe how LTLC is used to represent and reason about real-time systems.
Year
DOI
Venue
2002
10.1007/3-540-36103-0_26
ICFEM
Keywords
Field
DocType
continuous-time linear temporal logic,modelling real-time systems,low-level implementation model,logical implication,high-level requirement specification,continuous-time temporal logic,different description,real-time system,real time systems,linear temporal logic,temporal logic
Logical consequence,Temporal logic of actions,Interval temporal logic,Computer science,Real-time computing,Real-time operating system,Linear temporal logic,Theoretical computer science,Linear logic,Temporal logic,Time complexity
Conference
Volume
ISSN
ISBN
2495
0302-9743
3-540-00029-1
Citations 
PageRank 
References 
4
0.41
3
Authors
2
Name
Order
Citations
PageRank
Guangyuan Li1567.19
Zhisong Tang2111.25