1111 search results - page 95 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
202
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
134
click to vote
TSE
2010
15 years 1 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
141
Voted
FPCA
1989
15 years 7 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
137
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
146
click to vote
SCP
2010
15 years 1 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...