106 search results - page 9 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
DAGSTUHL
2006
15 years 8 days ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
71
Voted
IMR
2004
Springer
15 years 4 months ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
94
Voted
AINA
2008
IEEE
15 years 5 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
84
Voted
IFIP
2010
Springer
14 years 5 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...