3387 search results - page 336 / 678 » Model-Checking for Real-Time Systems |
185
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
203
click to vote
ACSD
2004
IEEE
15 years 11 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
218
click to vote
ENTCS
2008
15 years 5 months ago
2008
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. ...
229
click to vote
ENTCS
2008
15 years 7 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
169
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...