12981 search results - page 179 / 2597 » Model Checking (Abstract) |
125
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
120
click to vote
FMSD
2006
15 years 3 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
127
click to vote
FIW
2009
15 years 24 days ago
2009
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
213
click to vote
FSTTCS
2010
Springer
15 years 11 days ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
146
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...