68 search results - page 2 / 14 » Static analysis by abstract interpretation of embedded criti... |
VMCAI
2005
Springer
13 years 10 months ago
2005
Springer
ENTCS
2010
13 years 2 months ago
2010
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
ASPLOS
2004
ACM
13 years 10 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
IFL
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...