Skip to main content
SpringerLink
Log in
Book cover

Model Checking Software

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Jaco Pol

    1. Formal Methods and Tools, Department of Computer Science, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Weber

    1. Formal Methods and Tools, Department of Computer Science, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast conference proceedings
  • State-of-the-art report

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SPIN 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Satisfiability Modulo Theories for Model Checking

    1. SMT-Based Software Model Checking

      • Alessandro Cimatti
      Pages 1-3

    2. Symbolic Object Code Analysis

      • Jan Tobias Mühlberg, Gerald Lüttgen
      Pages 4-21

  3. Model Checking in Context

    1. Experimental Comparison of Concolic and Random Testing for Java Card Applets

      • Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä
      Pages 22-39

    2. Combining SPIN with ns-2 for Protocol Optimization

      • Pedro Merino, Alberto Salmerón
      Pages 40-57

    3. Automatic Generation of Model Checking Scripts Based on Environment Modeling

      • Kenro Yatake, Toshiaki Aoki
      Pages 58-75

  4. Implementation and Performance of Model Checking

    1. Model Checking: Cleared for Take Off

      • Darren Cofer
      Pages 76-87

    2. Context-Enhanced Directed Model Checking

      • Martin Wehrle, Sebastian Kupferschmid
      Pages 88-105

    3. Efficient Explicit-State Model Checking on General Purpose Graphics Processors

      • Stefan Edelkamp, Damian Sulewski
      Pages 106-123

    4. The SpinJa Model Checker

      • Marc de Jonge, Theo C. Ruys
      Pages 124-128

  5. LTL and Büchi Automata

    1. On the Virtue of Patience: Minimizing Büchi Automata

      • Rüdiger Ehlers, Bernd Finkbeiner
      Pages 129-145

    2. Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance

      • Maja Pešić, Dragan Bošnački, Wil M. P. van der Aalst
      Pages 146-161

    3. Nevertrace Claims for Model Checking

      • Zhe Chen, Gilles Motet
      Pages 162-179

  6. Infinite State Models

    1. A False History of True Concurrency: From Petri to Tools

      • Javier Esparza
      Pages 180-186

    2. Analysing Mu-Calculus Properties of Pushdown Systems

      • Matthew Hague, C. -H. Luke Ong
      Pages 187-192

    3. Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains

      • Georgel Calin, Pepijn Crouzen, Pedro R. D’Argenio, E. Moritz Hahn, Lijun Zhang
      Pages 193-211

    4. An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models

      • Alexander Linden, Pierre Wolper
      Pages 212-226

  7. Concurrent Software

    1. Context-Bounded Translations for Concurrent Software: An Empirical Evaluation

      • Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamarić
      Pages 227-244

    2. One Stack to Run Them All

      • Nicholas Kidd, Suresh Jagannathan, Jan Vitek
      Pages 245-261

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Model Checking Software

Keywords

Editors and Affiliations

  • Formal Methods and Tools, Department of Computer Science, University of Twente, Enschede, The Netherlands

    Jaco Pol, Michael Weber

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation