2407 search results - page 83 / 482 » A Tool for Abstraction in Model Checking |
123
click to vote
DATE
2007
IEEE
16 years 20 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
170
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
162
click to vote
QEST
2008
IEEE
16 years 21 days ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
168
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
153
click to vote
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...