713 search results - page 27 / 143 » Model Checking and Transitive-Closure Logic |
163
Voted
FSTTCS
2010
Springer
14 years 8 months 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...
DAC
1998
ACM
15 years 12 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
77
Voted
ICSE
2001
IEEE-ACM
15 years 3 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
93
Voted
TACAS
2005
Springer
15 years 4 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
74
Voted
ENTCS
2006
14 years 11 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...