68 search results - page 1 / 14 » Static analysis by abstract interpretation of embedded criti... |
68
Voted
SIGSOFT
2011
ACM
14 years 5 months ago
2011
ACM
88
Voted
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
97
Voted
ESOP
2011
Springer
14 years 1 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
89
Voted
PASTE
2004
ACM
15 years 3 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
67
Voted
CGO
2009
IEEE
15 years 5 months ago
2009
IEEE