9626 search results - page 2 / 1926 » Invariant Based Programming |
SAS
2005
Springer
13 years 10 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
ENDM
2010
13 years 5 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
CP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
DSN
2008
IEEE
13 years 11 months ago
2008
IEEE
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...