Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 (Dimacs Series in Discrete Mathematics and Theoretical Computer S)

Dimacs Workshop on Computer-Aided Verification, Clarke, E. M., Kurshan, R. P.

ISBN 10: 0821865943 / ISBN 13: 9780821865941

Verlag: Amer Mathematical Society, 1991

Beschreibung

*Price HAS BEEN REDUCED by 10% until Monday, Sept. 15 (sale item)* 628 pp., hardcover, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Bestandsnummer des Verkäufers ZB1307015

Bibliografische Details

• Titel: Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 (Dimacs Series in Discrete Mathematics and Theoretical Computer S)
• Verlag: Amer Mathematical Society
• Erscheinungsjahr: 1991
• Sprache: Englisch
• ISBN-10: 0821865943
• ISBN-13: 9780821865941
• Einband: Hardcover
• Zustand: Very Good

Über diesen Titel

Inhaltsangabe

This volume, 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 motivation for the workshop was to bring together researchers working on effective algorithms or methodologies for formal verification (as distinguished from, for example, attributes of logics or formal languages). The theoretical results leading to new or more powerful verification methods include advances in the use of binary decision diagrams, dense time, reductions based on partial order representations, and proof-checking in controller verification. The general focus of this volume is on the problem of making formal verification feasible for 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 and to exercise that tool on realistic examples. This volume provides a look at the latest theoretical advances in this exciting and important area of research.

Reseña del editor

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.