1054 search results - page 133 / 211 » Translation Validation of System Abstractions |
160
click to vote
QEST
2007
IEEE
16 years 17 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
166
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When flash memory is used as a storage in embedded systems, block level translation layer is required between conventional filesystem and flash memory chips due to its ph...
286
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
171
click to vote
WDAG
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
181
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Code clones have long been recognized as bad smells in software systems and are considered to cause maintenance problems during evolution. It is broadly assumed that the ...