Skip to main content
  • Book
  • © 2010

Verification, Induction, Termination Analysis

Festschrift for Christoph Walther on the Occasion of His 60th Birthday

  • Fast track proceedings

  • Unique visibility

  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6463)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (8 chapters)

  1. Front Matter

  2. Programming Inductive Proofs

    • Brigitte Pientka
    Pages 1-16
  3. Termination Graphs for Java Bytecode

    • Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl
    Pages 17-37
  4. Specifying and Verifying Organizational Security Properties in First-Order Logic

    • Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel
    Pages 38-53
  5. Change Management for Heterogeneous Development Graphs

    • Serge Autexier, Dieter Hutter, Till Mossakowski
    Pages 54-80
  6. The VATES-Diamond as a Verifier’s Best Friend

    • Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine
    Pages 81-101
  7. Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery

    • Moa Johansson, Lucas Dixon, Alan Bundy
    Pages 102-116
  8. Second-Order Programs with Preconditions

    • Markus Aderhold
    Pages 129-143
  9. Back Matter

Keywords

  • Bell-La Padula
  • Java
  • change management
  • chinese wall
  • dynamic rippling
  • first-order logic
  • higher-order automata
  • inducti
  • modal logic
  • modeling
  • programming
  • proving
  • rder programs
  • security
  • verification

Editors and Affiliations

  • Fachbereich Informatik, Fachgebiet Programmiermethodik, Technische Universität Darmstadt, Darmstadt, Germany

    Simon Siegler, Nathan Wasser

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions