Programming Research Group Research Report RR-01-07

Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01)

David Nowak

April 2001

Abstract

This research report contains the proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS'01) held at Oxford University Computing Laboratory on 19-21 April 2001. The aim of the AVoCS is to foster a research community in verification in United Kingdon through encouraging communication among researchers. Specific objectives include concrete efforts at integration as well as transfer of methods between different groups.


This paper is available as a 459,246 bytes gzipped PostScript file.