2407 search results - page 205 / 482 » A Tool for Abstraction in Model Checking |
172
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
166
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...
169
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
215
click to vote
OTM
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...
204
click to vote
RTA
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...