14. SPIN 2007: Berlin, Germany

Dragan Bosnacki, Stefan Edelkamp (Eds.): Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Lecture Notes in Computer Science 4595 Springer 2007, ISBN 978-3-540-73369-0

Invited Contributions

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/Dams07
- ask others
Dennis Dams: StackSnuffer: Curing Orion's Unsoundness. 1
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/BrimB07
- ask others
Lubos Brim, Jiri Barnat: Tutorial: Parallel Model Checking. 2-3

Directed Model Checking

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/FecherS07
- ask others
Harald Fecher, Sharon Shoham: Local Abstraction-Refinement for the mu-Calculus. 4-23
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/GastinM07
- ask others
Paul Gastin, Pierre Moro: Minimal Counterexample Generation for SPIN. 24-38
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/RungtaM07
- ask others
Neha Rungta, Eric G. Mercer: Generating Counter-Examples Through Randomized Guided Search. 39-57

Partial Order Reduction

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/YangCGK07
- ask others
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. 58-75
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/EvangelistaP07
- ask others
Sami Evangelista, Christophe Pajault: Some Solutions to the Ignoring Problem. 76-94
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/GuetaFYS07
- ask others
Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. 95-112

Program Analysis

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/SelfM07
- ask others
Joel P. Self, Eric G. Mercer: On-the-Fly Dynamic Dead Variable Analysis. 113-130
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/BaslerKW07
- ask others
Gérard Basler, Daniel Kroening, Georg Weissenbacher: SAT-Based Summarization for Boolean Programs. 131-148

Exploration Advances

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/RozierV07
- ask others
Kristin Y. Rozier, Moshe Y. Vardi: LTL Satisfiability Checking. 149-167
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/Weber07
- ask others
Michael Weber: An Embeddable Virtual Machine for State Space Generation. 168-186
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/BarnatBR07
- ask others
Jiri Barnat, Lubos Brim, Petr Rockai: Scalable Multi-core LTL Model-Checking. 187-203

Modeling and Cases

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/TraulsenCMM07
- ask others
Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi: A SystemC/TLM Semantics in Promelaand Its Possible Applications. 204-222
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/Lluch-Lafuente07
- ask others
Alberto Lluch-Lafuente: Towards Model Checking Spatial Properties with SPIN. 223-242
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/CamaraGM07
- ask others
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Model Extraction for ARINC 653 Based Avionics Software. 243-262

Tools

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/Pelanek07
- ask others
Radek Pelánek: BEEM: Benchmarks for Explicit Model Checkers. 263-267
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/GallardoJMS07
- ask others
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. 268-273
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/SeghirP07
- ask others
Mohamed Nassim Seghir, Andreas Podelski: ACSAR: Software Model Checking with Transfinite Refinement. 274-278
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/ChaudhuriA07
- ask others
Swarat Chaudhuri, Rajeev Alur: Instrumenting C Programs with Nested Word Monitors. 279-283