3387 search results - page 395 / 678 » Model-Checking for Real-Time Systems |
210
Voted
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
204
Voted
ICCD
2003
IEEE
16 years 4 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
193
Voted
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
197
click to vote
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
198
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...