Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03)
Leuschel, Michael, Gruner, Stefan and Lo Presti, Stephane (2003) Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03).
Download
Full text not available from this repository.
Description/Abstract
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/
| Item Type: | Monograph (Technical Report) |
|---|---|
| Additional Information: | Selected Papers of our Workshop will appear later in a Journal. |
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 257198 |
| Date Deposited: | 28 Nov 2003 |
| Last Modified: | 01 Mar 2012 10:50 |
| Contributors: | Leuschel, Michael (Author) Gruner, Stefan (Author) Lo Presti, Stephane (Author) |
| Date: | April 2003 |
| Additional Information: | Selected Papers of our Workshop will appear later in a Journal. |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/257198 |
Actions (login required)
 |
View Item |
