2451 search results - page 12 / 491 » The Octagon Abstract Domain |
CORR
2007
Springer
15 years 5 months ago
2007
Springer
142
Voted
AI
2005
Springer
15 years 5 months ago
2005
Springer
ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit
140
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
125
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
121
click to vote
ECTEL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a simple and extendible framework to collect attention metadata and store them for further analysis. Currently, several metadata collectors have been implement...