496 search results - page 14 / 100 » Using the Temporal Logic RDL for Design Specifications |
99
Voted
SIGSOFT
2007
ACM
16 years 11 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
84
Voted
SIGSOFT
2005
ACM
16 years 11 days ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
112
click to vote
RCC
2002
14 years 11 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
113
Voted
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...