2282 search results - page 211 / 457 » Active property checking |
155
click to vote
AICCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
120
Voted
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
151
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
175
click to vote
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
152
click to vote
WCRE
2005
IEEE
15 years 10 months ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...