ENGLISH

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

By Nicolas Halbwachs (auth.) , Alan J. Hu , Moshe Y. Vardi (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1998
ISBN
3540646086, 9783540646082
DOI
10.1007/BFb0028725
Open Library ID
OL9835396M
Language
english
Format
DJVU
Filesize
6 MB (5773612 bytes)
Series
Lecture Notes in Computer Science 1427
Edition
1
Pages
552\562
Topic
Computers
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Logics and Meanings of Programs; Software Engineer

Description

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

Similar books