Cover of Computer Aided Vertification

Mark as

Computer Aided Vertification

by Gerhard Goos

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.

Buy this book Review

See on goodreads

More by Gerhard Goos

Cover of 1. Fachtagung über Automatentheorie undFormale Sprachen

Cover of Adaptive hypermedia and adaptive Web-based systems

Cover of Advanced information systems engineering

Cover of Advances in cryptology, 1981-1997

Cover of Algebraic Frames for the Perception-Action Cycle

Cover of Algebraic methodology and software technology

Cover of Algebraic Methods

Cover of Algorithm theory

Cover of Anaphora in Natural Language Understanding

Cover of An Attribute grammar for the semantic analysis of ADA

Cover of Articulated motion and deformable objects

Cover of Automata, Languages and Programming

Cover of Computer science logic

Cover of Conceptual modeling

Cover of Concurrency theory

Cover of Distributed Programming Paradigms with Cryptography Applications

Lecture Notes in Computer Science

Cover of Erfahrungen mit 1500 Avertinnarkosen

Cover of Evolutionary programming VII

Cover of Higher order logic theorem proving and its applications

Cover of Implementation of functional languages

Cover of Informatics and Medicine

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment