[CEUR Workshop Proceedings] Vol-760

Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

Automated Theory Engineering

Proceedings of the First Workshop on Automated Theory Engineering

Co-Located with the 23rd International Conference on Automated Deduction
Wrocław, Poland, July 31, 2011.

Edited by

Peter Höfner1
Annabelle McIver2
Georg Struth3

1 NICTA, Sydney, Australia
2 Macquarie University, Department of Computing, Sydney, Australia
3 University of Sheffield, Department of Computer Science, Sheffield, UK

Table of Contents

    Invited Papers

  1. Do Formal Methodists have Bell-Shaped Heads? (Invited Paper) 1-2
    Timothy G. Griffin
  2. An Overview of Methods for Large-Theory Automated Theorem Proving (Invited Paper) 3-8
    Josef Urban
  3. Research Papers

  4. Inconsistencies in the Process Specification Language (PSL) 9-19
    Michael Beeson, Jay Halcomb, Wolfgang Mayer
  5. Simplifying Pointer Kleene Algebra 20-29
    Han-Hing Dang, Bernhard Möller
  6. A Repository for Tarski-Kleene Algebras 30-39
    Walter Guttmann, Georg Struth, Tjark Weber
  7. Designing Domain Specific Languages for Verification: First Steps 40-45
    Phillip James, Markus Roggenbach
  8. A Domain-Specific Language for the Specification of Path Algebras 46-57
    Vilius Naudžiūnas, Timothy G. Griffin

The whole proceedings can also be downloaded as a single file (pdf).

27-Jul-2011: submitted by Peter Höfner
28-Jul-2011: published on CEUR-WS.org