1914 search results - page 91 / 383 » Verification by Abstract Interpretation |
106
Voted
DAC
2007
ACM
15 years 4 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
CACM
2010
15 years 21 days ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
110
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
69
Voted
KI
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
114
click to vote
IEE
2008
15 years 19 days ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...