Verification, Model Checking, and Abstract Interpretation
Subtitle: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: E. Allen Emerson (Editor); Kedar S. Namjoshi (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 10, 2006
Language: eng
Format: Paperback
Number of pages: 443
ISBN-13: 9783540311393
Subjects: Computer Programming; Logic Design; Computers; Computers - General Information; Computer Books: Languages; Verification; Programming - Software Development; Computers / Logic Design; abstract interpretation; abstraction; formal methods; formal verification; model checking; program analysis; program invariants; program semantics; program specification; Computer programs; Programming Languages - General; Congresses