Skip header navigation
×

Conference Proceeding

Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques

Citation
Wilson T, Maharaj S & Clark R (2005) Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques. In: Butler M, Jones C, Romanovsky A & Troubitsyna E (eds.) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Technical Report Series, CS-TR-915. Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Newcastle, 19.07.2005-19.07.2005. Newcastle upon Tyne: University of Newcastle upon Tyne, pp. 43-52. http://rodin.cs.ncl.ac.uk/REFT.htm

Abstract
Omnibus is a new system for the development of reliable Object- Oriented software. It includes a clean language that is superficially similar to Java but removes aspects that particularly complicate verification. Integrated support is provided for run-time assertion checking, extended static checking and full formal verification. The language is supported by a prototype IDE with a type checker, Java code generator, HTML documentation generator and a range of verifiers. This paper presents the case for Omnibus, gives an overview of the language and tools and discusses its relationship to dependable systems development.

StatusPublished
Author(s)Wilson, Thomas; Maharaj, Savi; Clark, Robert
Title of seriesTechnical Report Series
Number in seriesCS-TR-915
Publication date31/12/2005
Publication date online31/07/2005
Related URLshttp://rodin.cs.ncl.ac.uk/REFT.htm
PublisherUniversity of Newcastle upon Tyne
Publisher URLhttp://rodin.cs.ncl.ac.uk/REFT.htm
Place of publicationNewcastle upon Tyne
ConferenceWorkshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
Conference locationNewcastle
Dates
Scroll back to the top