Verification, Model Checking, and Abstract Interpretation
Subtitle: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: March 24, 2005
Language: eng
Format: Paperback
Number of pages: 483
ISBN-13: 9783540242970
Subjects: Computing and Information Technology; Logic Design; Computers; Computers - General Information; Computer Books: Languages; Computers / Logic Design; abstract interpretation; abstraction; formal methods; formal verification; model checking; program analysis; program invariants; program specification; program validation; program verification; programming calculi; refinement; Programming - Software Development; Programming Languages - General
First sentence: Program verification is based on reasonings by induction (e.g. on program steps) which involves the discovery of unknown inductive arguments (e.g. rank functions, invariants) satisfying universally quantified verification conditions.