1914 search results - page 146 / 383 » Verification by Abstract Interpretation |
125
Voted
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
When merging data from various sources, it is often the case that small variations in data format and interpretation cause traditional functional dependencies (FDs) to be violated,...
114
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. The talk focused on a grammar-based technique for identifying redundancy in program code and taking advantage of that redundancy to reduce the memory required to store an...
92
Voted
AEI
1998
15 years 14 days ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
94
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...