709 search results - page 67 / 142 » Type Checking in XOBE |
120
click to vote
ISAAC
2007
Springer
15 years 10 months ago
2007
Springer
Checking value-sensitive data structures in sublinear space has been an open problem for over a decade. In this paper, we suggest a novel approach to solving it. We show that, in c...
129
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
132
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many important problems in bioinformatics and genetics require analyses that are NP-complete. For example, one of the basic problems facing researchers that analyze pedig...
132
click to vote
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
131
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...