Sciweavers

Share
VMCAI
2010
Springer

Collections, Cardinalities, and Relations

10 years 28 days ago
Collections, Cardinalities, and Relations
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to compute direct and inverse relation and function images. We establish decidability and complexity bounds for the extended logics.
Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
Added 05 Mar 2010
Updated 08 Mar 2010
Type Conference
Year 2010
Where VMCAI
Authors Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
Comments (0)
books