Amazon cover image
Image from Amazon.com

Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.

Contributor(s): Series: Lecture Notes in Computer Science ; 6463Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: XI, 145 p. 30 illus. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642171727
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.758
Online resources:
Contents:
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.
In: Springer eBooks
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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.

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email:
librarian@alfaisal.edu