The aim of AVoCS 2007 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, abstract interpretation, and refinement pertaining to various types of critical systems (safety–critical, security–critical, business–critical, performance–critical, etc.). Contributions that describe combinations of different techniques, and industrial case studies are particularly encouraged.<br>Since AVoCS is returning to its origin in Oxford, where it developed out of a series of informal workshops based around CSP, we hope to receive a number of submissions this year relating to CSP, its tools and applications. Papers based on other formalisms are also very welcome, of course.<br>The technical programme will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion. <b>Keywords:</b> * Model Checking<br>* Automatic and Interactive Theorem Proving<br>* Abstract Interpretation<br>* Specification and Refinement<br>* Requirements Capture and Analysis<br>* Verification of Software and Hardware<br>* Verification of Security–Critical Systems<br>* Probabilistic and Real–Time Systems<br>* Verified System Development<br>* Industrial Applications<br>
Abbrevation
AVoCS
City
Oxford
Country
UK
Deadline Paper
Start Date
End Date
Abstract