Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

  • Jaco van de Pol
  • Michael Weber
Conference proceedings SPIN 2010

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

Table of contents

  1. Front Matter
  2. Satisfiability Modulo Theories for Model Checking

    1. Alessandro Cimatti
      Pages 1-3
    2. Jan Tobias Mühlberg, Gerald Lüttgen
      Pages 4-21
  3. Model Checking in Context

    1. Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä
      Pages 22-39
    2. Pedro Merino, Alberto Salmerón
      Pages 40-57
  4. Implementation and Performance of Model Checking

    1. Darren Cofer
      Pages 76-87
    2. Martin Wehrle, Sebastian Kupferschmid
      Pages 88-105
    3. Marc de Jonge, Theo C. Ruys
      Pages 124-128
  5. LTL and Büchi Automata

    1. Rüdiger Ehlers, Bernd Finkbeiner
      Pages 129-145
    2. Maja Pešić, Dragan Bošnački, Wil M. P. van der Aalst
      Pages 146-161
    3. Zhe Chen, Gilles Motet
      Pages 162-179
  6. Infinite State Models

    1. Matthew Hague, C. -H. Luke Ong
      Pages 187-192
    2. Georgel Calin, Pepijn Crouzen, Pedro R. D’Argenio, E. Moritz Hahn, Lijun Zhang
      Pages 193-211
  7. Concurrent Software

    1. Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamarić
      Pages 227-244
    2. Nicholas Kidd, Suresh Jagannathan, Jan Vitek
      Pages 245-261
  8. Back Matter

About these proceedings


abstraction automatic testing bisimulation bug finding completeness formal methods formal modeling nondeterminism probabilistic models program analysis simulation static analysis testing verification condition

Editors and affiliations

  • Jaco van de Pol
    • 1
  • Michael Weber
    • 1
  1. 1.Formal Methods and Tools, Department of Computer ScienceUniversity of TwenteEnschedeThe Netherlands

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment