|
Published Articles >> Table of Contents >> Abstract
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
pp. 150-159
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification
Thomas Wilson, University of Stirling, Scotland
Savi Maharaj, University of Stirling, Scotland
Robert G. Clark, University of Stirling, Scotland
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.29
Send link to a friend
| Abstract |
|
The three main assertion-based verification approaches
are: Design by Contract (DBC), Extended Static Checking
(ESC) and Verified Design by Contract (VDBC). Each approach
offers a different balance between rigour and ease
of use making them appropriate in different situations. Our
goal is to explore the use of these approaches together in a
flexible way, enabling an application to be broken down
into sections with different reliability requirements and different
verification approaches used in each section. We explain
the benefits of using the approaches together, present
a set of guidelines to avoid potential conflicts and give an
overview of how the Omnibus IDE provides support for the
full range of assertion-based verification approaches within
a single tool.
|
 Additional Information
|
Citation:
Thomas Wilson, Savi Maharaj, Robert G. Clark,
"Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification,"
sefm,
pp. 150-159,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05),
2005
|
|
