620 search results - page 69 / 124 » Abstract Analysis of Symbolic Executions |
104
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
108
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
99
Voted
COMPUTER
2008
15 years 19 days ago
2008
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
110
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...