SAVCBS 2006 challenge: specification of iterators

Authors:
Bruce W. Weide
Affiliations:
The Ohio State University
Venue:
Proceedings of the 2006 conference on Specification and verification of component-based systems
Year:
2006

Citing 5
Cited 2

Reusable software components

Advances in computers
Part II: specifying components in RESOLVE

ACM SIGSOFT Software Engineering Notes
Experience report: using RESOLVE/C++ for commercial software

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Modular Verification of Data Abstractions with Shared Realizations

IEEE Transactions on Software Engineering
Design and Specification of Iterators Using the Swapping Paradigm

IEEE Transactions on Software Engineering

Verifying C++ with STL containers via predicate abstraction

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Mechanized verification with sharing

ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

A method for formal specification of iterators, which can be used to verify both clients and implementations, is illustrated with a Set abstraction as the underlying collection.