The Software Verification Research Centre (SVRC) is a Special
Research Centre of the Australian Research Council, established in 1991.
Its mission is to create improved methods and tools, of industrial
significance, for developing verified software.
This talk introduces the SVRC, reviews some of our experiences in pursuing
that mission and outlines some of our possible directions for the coming
years.
During its development the SVRC has broadened its scope from an initial
focus solely on formal methods and associated tools, towards a broader
focus on systems assurance in general. The SVRC's appreciation of
industrial significance, and the economic viability of the SVRC, are both
being assisted by a growing program of providing commercial services to
industry.
About the speaker: John Staples is a Professor of Computer Science at
The University of Queensland and is the Director of the SVRC.