The aim of AVoCS 2011 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, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety–critical, security–critical, business–critical, performance–critical, etc). Contributions that describe different techniques, or industrial case studies are encouraged. 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.<br>Topics include (but are not limited to) <p> </p><ul><li>Model Checking</li><li>Automatic and Interactive Theorem Proving</li><li>SAT, SMT or Constraint Solving for Verification</li><li>Abstract Interpretation</li><li>Specification and Refinement</li><li>Requirements Capture and Analysis</li><li>Verification of Software and Hardware</li><li>Verification of Security–Critical Systems</li><li>Specification and Verification of Fault Tolerance and Resilience</li><li>Probabilistic and Real–Time Systems</li><li>Dependable Systems</li><li>Verified System Development</li><li>Industrial Applications</li></ul><br>
Abbrevation
AVoCS
City
Bamberg
Country
Germany
Deadline Paper
Start Date
End Date
Abstract