759 search results - page 4 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
DAC
1996
ACM
13 years 10 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
BIBM
2009
IEEE
13 years 11 months ago
2009
IEEE
—A comprehensive understanding of cancer progression may shed light on genetic and molecular mechanisms of oncogenesis, and it may provide much needed information for effective d...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
The concept of universal designated verifier signatures was introduced by Steinfeld, Bull, Wang and Pieprzyk at Asiacrypt 2003. These signatures can be used as standard publicly ve...
ISSTA
2009
ACM
14 years 20 days ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...