Skip to main content
  • Conference proceedings
  • © 2010

Model Checking Software

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

  • 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)

Conference series link(s): SPIN: International Symposium on Model Checking Software

Conference proceedings info: SPIN 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  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
  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. 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. Analysing Mu-Calculus Properties of Pushdown Systems

      • Matthew Hague, C. -H. Luke Ong
      Pages 187-192
    2. 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
  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

Other Volumes

  1. Model Checking Software

Keywords

  • 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

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

    Jaco Pol, Michael Weber

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions