Verification, Model Checking, and Abstract Interpretation
Subtitle: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: May 28, 2002
Language: eng
Format: Paperback
Number of pages: 331
ISBN-13: 9783540436317
Subjects: Applications of Computing; Computer Programming; Programming - Systems Analysis & Design; Congresses; Computers; Computers - Languages / Programming; Science/Mathematics; Verification; Programming Languages - General; Logic Design; Programming - Software Development; Abstract Interpretation; Computers / General; Concurrent Systems; Correct System Design; Formal Methods; Model Checking; Program Analysis; Program Optimization; Program Semantics; Program Specification; Program Verification; Computer Programs