5015 search results - page 790 / 1003 » Model Checking a Path |
117
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
108
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
151
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
129
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
130
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...