Computer Aided Verification
Subtitle: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Contributors: Ed Brinksma (Editor); Kim G. Larsen (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 24, 2002
Language: eng
Format: Paperback
Number of pages: 626
ISBN-13: 9783540439974
Subjects: Applications of Computing; General Theory of Computing; Programming - Software Development; Software Engineering; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Logic Design; Computers / Logic Design; Formal methods; automated deduction; computational logic; computer aided verification; formal verification; hardware verification; model checking; program verification; systems analysis; systems verification