[CEUR Workshop Proceedings] Vol-873

Copyright © 2012 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.


Comparative Empirical Evaluation of Reasoning Systems

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems

Manchester, United Kingdom, June 30, 2012.

Edited by

Vladimir Klebanov *
Bernhard Beckert *
Armin Biere **
Geoff Sutcliffe ***

* Karlsruhe Institute of Technology, Institute for Theoretical Informatics, 76131 Karlsruhe, Germany
** Johannes Kepler University,Institute for Formal Models and Verification, 4040 Linz, Austria
*** University of Miami, Department of Computer Science, FL 33124-4245, USA

COMPARE 2012 complete proceedings (single PDF file)

Table of Contents

    Abstracts of Invited Talks

  1. Regression Tests and the Inventor's Dilemma 1
    Leonardo de Moura
  2. Introducing StarExec: a Cross-Community Infrastructure for Logic Solving 2
    Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
  3. Contributed Papers

  4. Evaluating the Usability of Interactive Verification Systems 3-17
    Bernhard Beckert, Sarah Grebing
  5. Broadening the Scope of SMT-COMP: the Application Track 18-27
    Roberto Bruttomesso, Alberto Griggio
  6. A Simple Complexity Measurement for Software Verification and Software Testing 28-31
    Zheng Cheng, Rosemary Monahan, James Power
  7. Benchmarking Static Analyzers 32-35
    Pascal Cuoq, Florent Kirchner, Boris Yakobowski
  8. The 2nd Verified Software Competition: Experience Report 36-49
    Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump
  9. On the Organisation of Program Verification Competitions 50-59
    Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
  10. Challenges in Comparing Software Verification Tools for C 60-65
    Florian Merz, Carsten Sinz, Stephan Falke
  11. Behind the Scene of Solvers Competitions: the "evaluation" Experience 66-77
    Olivier Roussel

Author Index

27-Jul-2012: submitted by Vladimir Klebanov
31-Jul-2012: published on CEUR-WS.org