Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD, Emeritus Professor Alexander RomanovskyORCiD
AVOCS, the workshop on Automated Verification of Critical Systems, is an annual meeting that brings together researchers and practitioners to exchange new results on tools and techniques relating to the verification of critical systems. Topics of interest include all aspects of automated verification, including model checking, theorem proving, abstract interpretation and re refinement; application areas include various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques or industrial case studies are encouraged. The workshop is supported by the ICT DEPLOY project.
Author(s): Bendisposto J, Jones C, Leuschel M, Romanovsky A, (eds)
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2011
Pages: 219
Print publication date: 01/09/2011
Source Publication Date: September 2011
Report Number: 1272
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
