This volume contains the proceedings of the second workshop on Computer Aided Verification, held at Rutgers University, USA. It features theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification, as distinguished from attributes of logics or...
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at Rutgers University, USA. It features theoretical r...
