11 search results - page 1 / 3 » fmics 2009 |
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...