Conference Paper (published)

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

Details

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
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

People (1)

Dr Savi Maharaj

Dr Savi Maharaj

Senior Lecturer, Computing Science