Loading...
Editors
Barthe, Gilles
•
Hermenegildo, Manuel V.
2010
Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation
Collections, Cardinalities, and Relations
conference paper
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.
Loading...
Name
YessenovETAL10CollectionsRelations.pdf
Access type
openaccess
Size
221.08 KB
Format
Adobe PDF
Checksum (MD5)
3b1b9e795bd56243428ce45f8cf23d51