This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Li ge, Belgium in July 1995. The book contains the 31 refereed full... This description may be from another edition of this product.