1111 search results - page 80 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
118
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
108
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
104
Voted
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
126
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
139
Voted
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...