3082 search results - page 55 / 617 » Deviation Analysis: A New Use of Model Checking |
159
click to vote
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
154
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
149
click to vote
ICCAD
2004
IEEE
16 years 2 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
132
click to vote
ISVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
156
Voted
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...