Skip to main content
Springer Nature Link
Log in

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Dragan Bošnački
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stefan Edelkamp
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: SPIN 2007.

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

Access this book

Log in via an institution
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

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. StackSnuffer: Curing Orion’s Unsoundness

    • Dennis Dams
    Pages 1-1

  3. Tutorial: Parallel Model Checking

    • Luboš Brim, Jiří Barnat
    Pages 2-3

  4. Local Abstraction-Refinement for the mu-Calculus

    • Harald Fecher, Sharon Shoham
    Pages 4-23

  5. Minimal Counterexample Generation for SPIN

    • Paul Gastin, Pierre Moro
    Pages 24-38

  6. Generating Counter-Examples Through Randomized Guided Search

    • Neha Rungta, Eric G. Mercer
    Pages 39-57

  7. Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software

    • Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
    Pages 58-75

  8. Some Solutions to the Ignoring Problem

    • Sami Evangelista, Christophe Pajault
    Pages 76-94

  9. Cartesian Partial-Order Reduction

    • Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv
    Pages 95-112

  10. On-the-Fly Dynamic Dead Variable Analysis

    • Joel P. Self, Eric G. Mercer
    Pages 113-130

  11. SAT-Based Summarization for Boolean Programs

    • Gérard Basler, Daniel Kroening, Georg Weissenbacher
    Pages 131-148

  12. LTL Satisfiability Checking

    • Kristin Y. Rozier, Moshe Y. Vardi
    Pages 149-167

  13. An Embeddable Virtual Machine for State Space Generation

    • Michael Weber
    Pages 168-186

  14. Scalable Multi-core LTL Model-Checking

    • Jiří Barnat, Luboš Brim, Petr Ročkai
    Pages 187-203

  15. A SystemC/TLM Semantics in Promela and Its Possible Applications

    • Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
    Pages 204-222

  16. Towards Model Checking Spatial Properties with SPIN

    • Alberto Lluch Lafuente
    Pages 223-242

  17. Model Extraction for ARINC 653 Based Avionics Software

    • Pedro de la Cámara, María del Mar Gallardo, Pedro Merino
    Pages 243-262

  18. BEEM: Benchmarks for Explicit Model Checkers

    • Radek Pelánek
    Pages 263-267

  19. C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs

    • María del Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
    Pages 268-273

  20. ACSAR: Software Model Checking with Transfinite Refinement

    • Mohamed Nassim Seghir, Andreas Podelski
    Pages 274-278
Back to top

Other volumes

  1. Model Checking Software

Bibliographic Information

Publish with us

Policies and ethics

Back to top