22 search results - page 2 / 5 » vmcai 2010 |
107
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
112
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
163
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
138
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
141
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...