Conference Paper (published)
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.
Status | Published |
---|---|
Title of series | Technical Report Series |
Number in series | CS-TR-915 |
Publication date | 31/12/2005 |
Publication date online | 31/07/2005 |
Related URLs | http://rodin.cs.ncl.ac.uk/REFT.htm |
Publisher | University of Newcastle upon Tyne |
Publisher URL | http://rodin.cs.ncl.ac.uk/REFT.htm |
Place of publication | Newcastle upon Tyne |
Conference | Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005) |
Conference location | Newcastle |
Dates |
People (1)
Senior Lecturer, Computing Science