Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03)

The aim of this workshop is to foster a research community in verification in and beyond the United Kingdom of Great Britain through encouraging communication among researchers. Specific objectives include efforts at integration as well as the transfer of methods between different groups from academia and industry. The topics are to be interpreted broadly and inclusively, and in particular cover all aspects of verification (model checking, theorem proving, specification and refinement proofs, etc) pertaining to various types of critical systems, be it safety-critical, business-critical, or performance-critical. The first meeting, AVoCS'01, was held in Oxford (UK), continuing in the tradition of the annual DERA/OUCL series. The second meeting, AVoCS'02, was held in Birmingham (UK). Similarly to previous years, the meeting will be informal, and will combine invited lectures with accepted submissions. This year we also want to aim for wider, European and international attention. Available online at: http://www.ecs.soton.ac.uk/~mal/avocs03