Leuschel, M., Gruner, S. and Lo Presti, S. (2003) Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03). Technical Report DSSE-TR-2003-2, ECS, University of Southampton. Full text not available from this repository.
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: | Technical Report | ||||||
|---|---|---|---|---|---|---|---|
| Creator/Authors: |
| ||||||
| Additional Information: | Selected Papers of our Workshop will appear later in a Journal. | ||||||
| Research Group: | Old ECS Groups > Dependable Systems and Software Engineering Research Group | ||||||
| Alternative Locations: | http://www.ecs.soton.ac.uk/~mal/avocs03/ | ||||||
| Date: | April 2003 | ||||||
| Information about this record: | |||||||
| Performance Indicator: | EZ~03~03~02 | ||||||
| ID Code: | 7198 | ||||||
| Last Modified: | 23 Sep 2011 10:29 | ||||||
| Deposited On: | 28 Nov 2003 by Gruner, Stefan | ||||||
Tools & Metadata
Corrections
ECS staff and postgraduates may modify this record
