109 search results - page 1 / 22 » Invariants and state in testing and formal methods |
PASTE
2005
ACM
13 years 11 months ago
2005
ACM
ISOLA
2007
Springer
13 years 11 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
SAS
2000
Springer
13 years 8 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...