Paper Info
Title
Symbolic model checking for a discrete clocked temporal logic with intervals
Abstract
In this paper we present a new model checking algorithm for interval based timed structures and temporal logic formulas. Besides the treatment of time intervals the new algorithm leads to a significant performance gain compared to previous approaches.
Year
DOI
Venue
1997
10.1007/978-0-387-35190-2_10
CHARME
Keywords
Field
DocType
symbolic model checking,discrete clocked temporal logic,temporal logic
Computation tree logic,Model checking,Temporal logic of actions,Interval temporal logic,Computer science,Algorithm,Linear temporal logic,Temporal logic,Symbolic trajectory evaluation
Conference
ISBN
Citations 
PageRank 
0-412-81330-0
21
1.78
References 
Authors
3
2
Name
Order
Citations
PageRank
Jürgen Ruf112223.04
Thomas Kropf232659.09