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.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl