3387 search results - page 377 / 678 » Model-Checking for Real-Time Systems |
215
click to vote
SBMF
2009
Springer
16 years 2 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
184
Voted
CAISE
2001
Springer
15 years 12 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
217
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
242
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
201
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...