Normal view MARC view ISBD view

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday / [electronic resource] : edited by Simon Siegler, Nathan Wasser. - 1st ed. 2010. - XI, 145 p. 30 illus. online resource. - Lecture Notes in Artificial Intelligence, 6463 2945-9141 ; . - Lecture Notes in Artificial Intelligence, 6463 .

Programming Inductive Proofs -- Termination Graphs for Java Bytecode -- Specifying and Verifying Organizational Security Properties in First-Order Logic -- Change Management for Heterogeneous Development Graphs -- The VATES-Diamond as a Verifier’s Best Friend -- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery -- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) -- Second-Order Programs with Preconditions.

ISBN: 9783642171727

Standard No.: 10.1007/978-3-642-17172-7 doi

Subjects--Topical Terms:
Software engineering.
Computer networks .
Computer science.
Artificial intelligence.
Machine theory.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Formal Languages and Automata Theory.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1