1111 search results - page 112 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
118
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
116
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
156
click to vote
ASPLOS
2004
ACM
15 years 8 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...
99
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
142
click to vote
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...