1541 search results - page 47 / 309 » Tools and Techniques for Model Checking Networked Programs |
124
Voted
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
79
Voted
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
Many program maintenance tools rely on traditional parsing techniques to obtain syntactic level models of the code being maintained. When, for some reason, code cannot be parsed, ...
114
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
88
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...