ISBN-13: 9783540564966 / Angielski / Miękka / 1993 / 426 str.
ISBN-13: 9783540564966 / Angielski / Miękka / 1993 / 426 str.
This volume contains the proceedings of the 4th Workshop on Computer-Aided Verification (CAV '92), held in Montreal in 1992. The object of this series of workshops was to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification methods that can be used to assist the applications designer. Emphasis was placed on new research results and the application of existing results to real verification problems.