Computer-Aided Verification：Proceedings computer-aided verification Computer-Aided Verification computer-aided engineering. computers and bussiness information processing computer aided manufacturing computer-aided graphics and design computer aided circuit design