Preface

This is a preface of the special issue of the 14th international workshop on Automated Verification of Critical Systems. This workshop 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, business-critical, performance-critical, etc.)