Research output

Conference Paper (in Formal Publication) ()

Omnibus verification policies: A flexible, configurable approach to assertion-based software verification

Citation
Wilson T, Maharaj S & Clark R (2005) Omnibus verification policies: A flexible, configurable approach to assertion-based software verification In: Aichernig BK, Beckert B (ed.) SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings, Los Alamitos, CA: The Institute of Electrical and Electronics Engineers, Inc. 3rd IEEE International Conference on Software Engineering and Formal Methods, 7.9.2005 - 9.9.2005, Koblenz, Germany, pp. 150-159.

Abstract
The three main assertion-based verification approachesare: Design by Contract (DBC), Extended Static Checking(ESC) and Verified Design by Contract (VDBC). Each approachoffers a different balance between rigour and easeof use making them appropriate in different situations. Ourgoal is to explore the use of these approaches together in aflexible way, enabling an application to be broken downinto sections with different reliability requirements and differentverification approaches used in each section. We explainthe benefits of using the approaches together, presenta set of guidelines to avoid potential conflicts and give anoverview of how the Omnibus IDE provides support for thefull range of assertion-based verification approaches withina single tool.

Keywords
formal methods; software verification; design by contract; static checking

StatusPublished
EditorAichernig BK, Beckert B
AuthorsWilson Thomas, Maharaj Savi, Clark Robert
Publication date2005
URLhttp://ieeexplore.ieee.org/…p?punumber=10529
PublisherThe Institute of Electrical and Electronics Engineers, Inc
Place of publicationLos Alamitos, CA
ISBN 0-7695-2435-4
LanguageEnglish

Journal
Sefm 2005: Third Ieee International Conference on Software Engineering and Formal Methods, Proceedings (2005)

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal