7167 search results - page 48 / 1434 » A Technique for Invariant Generation |
136
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
154
click to vote
FAC
2007
15 years 6 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
170
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
145
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
176
click to vote
DCC
2004
IEEE
16 years 5 months ago
2004
IEEE
It is well-known that wavelet transforms provide sparse decompositions over many types of image regions but not over image singularities/edges that manifest themselves along curve...