1124 search results - page 36 / 225 » Refined quorum systems |
129
click to vote
TCAD
2008
15 years 1 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
100
click to vote
SAFECOMP
1998
Springer
15 years 5 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
114
click to vote
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
135
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...