Computer-Aided Verification '90
, by Dimacs Workshop on Computer-Aided Verification; Kurshan, R. P.; Clarke, E. M.Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9780821865941 | 0821865943
- Cover: Hardcover
- Copyright: 9/1/1991
This book, published jointly with the Association for Computing Machinery, contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. The general focus of this volume is on the problem of making formal verification feasible for the various models of computation. Specific emphasis is on models associated with distributed programs, protocols, and digital circuits. The general test of algorithm feasibility is to embed it into a verification tool on realistic examples. This volume looks at the latest theoretical advances in this exciting and important area of research.