Book Volume 5578 2009

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings


ISBN: 978-3-642-02651-5 (Print) 978-3-642-02652-2 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Contributions

    1. Chapter

      Pages 1-1

      Software Model Checking Improving Security of a Billion Computers

    2. Chapter

      Pages 2-3

      On Quantitative Software Verification

    3. Chapter

      Pages 4-4

      The Quest for Correctness-Beyond a Posteriori Verification

    4. Chapter

      Pages 5-5

      Who Really Cares If the Program Crashes?

  3. Regular Papers

    1. Chapter

      Pages 6-11

      Tool Presentation: Teaching Concurrency and Model Checking

    2. Chapter

      Pages 12-31

      Fast, All-Purpose State Storage

    3. Chapter

      Pages 32-49

      Efficient Probabilistic Model Checking on General Purpose Graphics Processors

    4. Chapter

      Pages 50-67

      Improving Non-Progress Cycle Checks

    5. Chapter

      Pages 68-87

      Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions

    6. Chapter

      Pages 88-106

      Probabilistic Reachability for Parametric Markov Models

    7. Chapter

      Pages 107-124

      Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems

    8. Chapter

      Pages 125-142

      A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks

    9. Chapter

      Pages 143-147

      Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation

    10. Chapter

      Pages 148-168

      Symbolic Analysis via Semantic Reinterpretation

    11. Chapter

      Pages 169-173

      EMMA: Explicit Model Checking Manager (Tool Presentation)

    12. Chapter

      Pages 174-191

      Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution

    13. Chapter

      Pages 192-204

      Subsumer-First: Steering Symbolic Reachability Analysis

    14. Chapter

      Pages 205-222

      Identifying Modeling Errors in Signatures by Model Checking

    15. Chapter

      Pages 223-240

      Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin

    16. Chapter

      Pages 241-260

      Verification of GALS Systems by Combining Synchronous Languages and Process Calculi

previous Page of 2