366 search results - page 25 / 74 » Model-checking higher-order functions |
120
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
ERLANG
2006
ACM
15 years 5 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
CAV
2004
Springer
15 years 5 months ago
2004
Springer
SAS
2009
Springer
16 years 10 days ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
107
click to vote
IAW
2003
IEEE
15 years 5 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...