1980 search results - page 40 / 396 » Compositional Model Checking of Real Time Systems |
101
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
HYBRID
2010
Springer
14 years 9 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
100
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...