Computer-aided Verification

ISBN-13: 9780821865941 / Angielski / Twarda / 1991 / 628 str.

Opis

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.