April 2001
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.