Verification, Induction, Termination Analysis

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

  • Simon Siegler
  • Nathan Wasser

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6463)

Table of contents

  1. Front Matter
  2. Brigitte Pientka
    Pages 1-16
  3. Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl
    Pages 17-37
  4. Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel
    Pages 38-53
  5. Serge Autexier, Dieter Hutter, Till Mossakowski
    Pages 54-80
  6. Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine
    Pages 81-101
  7. Moa Johansson, Lucas Dixon, Alan Bundy
    Pages 102-116
  8. Markus Aderhold
    Pages 129-143
  9. Back Matter

About this book


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

  • Simon Siegler
    • 1
  • Nathan Wasser
    • 1
  1. 1.Fachbereich Informatik, Fachgebiet ProgrammiermethodikTechnische Universität DarmstadtDarmstadtGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-17171-0
  • Online ISBN 978-3-642-17172-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment