6608 search results - page 82 / 1322 » On the Completeness of Model Checking |
138
click to vote
SAM
2004
15 years 2 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
117
click to vote
AMAI
2002
Springer
15 years 1 months ago
2002
Springer
Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving jus...
105
click to vote
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
116
click to vote
ASPDAC
2009
ACM
15 years 5 months ago
2009
ACM
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
110
click to vote
RECOSOC
2007
15 years 2 months ago
2007
Code Compression has been shown to be efficient in minimizing the memory requirements for embedded systems as well as in power consumption reduction and performance improvement. I...