[CEUR Workshop Proceedings] Vol-760
urn:nbn:de:0074-760-4

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.





ATE-2011
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