3335 search results - page 109 / 667 » Grid result checking |
157
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
162
Voted
GLVLSI
2006
IEEE
16 years 23 days ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
186
click to vote
SPIN
2005
Springer
16 years 6 days 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...
167
Voted
ADVIS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
146
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...