The aim of this workshop is to encourage interaction and exchange of ideas among members of the international research community.<br>The workshop subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification (model checking, theorem proving, specification, etc) pertaining to various types of critical systems, be it safety–critical <b>Keywords:</b> Specification and Refinement<br>Requirements Capture and Analysis<br>Model Checking: Theory, Tools and Applications<br>Abstract Interpretation<br>Theorem Proving<br>Software and Hardware Verification<br>Verification of Probabilistic and/or Real–Time Systems<br>Verification of Distributed Protocols including Security<br>Performance and Dependability Evaluation<br>Case Studies
Abbrevation
AVoCS
City
Warwick
Country
UK
Deadline Paper
Start Date
End Date
Abstract