2407 search results - page 186 / 482 » A Tool for Abstraction in Model Checking |
192
click to vote
ASAP
2005
IEEE
16 years 23 days ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
233
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
215
click to vote
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
182
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
202
click to vote
FMCAD
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...