25 search results - page 1 / 5 » Refining Interval Temporal Logic Specifications |
ARTS
1997
Springer
13 years 9 months ago
1997
Springer
SIGPLAN
2002
13 years 4 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
ICCD
1993
IEEE
13 years 9 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
FAC
2008
13 years 4 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
TIME
2007
IEEE
13 years 11 months ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...