Theorem Proving in Higher Order Logics

15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

  • Victor A. Carreño
  • César A. Muñoz
  • Sofiène Tahar
Conference proceedings TPHOLs 2002
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2410)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talks

    1. Ricky Butler
      Pages 1-2
    2. Gérard Huet
      Pages 3-12
  3. Regular Papers

    1. Simon J. Ambler, Roy L. Crole, Alberto Momigliano
      Pages 13-30
    2. Gilles Barthe, Pierre Courtieu
      Pages 31-46
    3. David Basin, Stefan Friedrich, Marek Gawkowski
      Pages 47-66
    4. Gertrud Bauer, Tobias Nipkow
      Pages 67-82
    5. Yves Bertot, Venanzio Capretta, Kuntal Das Barman
      Pages 83-97
    6. Achim D. Brucker, Burkhart Wolff
      Pages 99-114
    7. Jeremy E. Dawson, Rajeev Goré
      Pages 131-147
    8. Christophe Dehlinger, Jean-François Dufourd
      Pages 148-163
    9. David Delahaye
      Pages 164-181
    10. Louise A. Dennis, Alan Bundy
      Pages 182-197
    11. Amy P. Felty
      Pages 198-213
    12. Aleksey Nogin
      Pages 263-280
    13. Aleksey Nogin, Jason Hickey
      Pages 281-297

About these proceedings

Keywords

automated deduction formal methods formal verification hardware verification higher order logic logic design mathematical logic model checking proof theory theorem provers theorem proving unification verification

Editors and affiliations

  • Victor A. Carreño
    • 1
  • César A. Muñoz
    • 2
  • Sofiène Tahar
    • 3
  1. 1.NASA Langley Research CenterHamptonUSA
  2. 2.ICASE-Langley Research CenterHamptonUSA
  3. 3.Electrical and Computer EngineeringConcordia UniversityMontréalCanada

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45685-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44039-0
  • Online ISBN 978-3-540-45685-8
  • Series Print ISSN 0302-9743
  • About this book