1980 search results - page 61 / 396 » Compositional Model Checking of Real Time Systems |
103
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
IJAOSE
2010
14 years 9 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
121
click to vote
APN
2007
Springer
15 years 6 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
117
click to vote
RTCSA
2003
IEEE
15 years 5 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
113
click to vote
ISORC
2003
IEEE
15 years 5 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...