Widening Refinement's Wide-Spectrum Language
Speaker: Colin Fidge, SVRC, ITEE
When: 2003-05-27 10:00:00
Venue: 78-622
Host: Colin Fidge
Abstract:Refinement is a formalism for deriving verifiably-correct high-level
language programs from requirements specifications. This process is
made possible by modelling both the source specification and the
target program in the same "wide-spectrum" semantic language.
Research at the Software Verification Research Centre over the past
decade has aimed to increase the applicability of refinement in
several areas. In this talk we explain how this was done by
widening the refinement formalism to embrace timing requirements,
multi-tasking systems, program compilation, reuse of software
library components and emulation of legacy code, and by providing
tool support. The presentation will conclude with a summary of the
Software Verification Research Centre's mixed experiences in trying
to transfer formal methods to industry, and the Centre's future
directions in this regard.
Biography:Colin is a Principal Research Fellow in the ITEE School's Software
Verification Research Centre. His research interests are in
high-integrity software engineering.
Type: ITEE Seminar
Contact:Colin Fidge, seminar host (cjf@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)