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 BibTeX

Invited Contributions

Dennis Dams:
StackSnuffer: Curing Orion's Unsoundness. 1
Electronic Edition (link) BibTeX
Lubos Brim, Jiri Barnat:
Tutorial: Parallel Model Checking. 2-3
Electronic Edition (link) BibTeX

Harald Fecher, Sharon Shoham:
Local Abstraction-Refinement for the mu-Calculus. 4-23
Electronic Edition (link) BibTeX
Paul Gastin, Pierre Moro:
Minimal Counterexample Generation for SPIN. 24-38
Electronic Edition (link) BibTeX
Neha Rungta, Eric G. Mercer:
Generating Counter-Examples Through Randomized Guided Search. 39-57
Electronic Edition (link) BibTeX

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. 58-75
Electronic Edition (link) BibTeX
Sami Evangelista, Christophe Pajault:
Some Solutions to the Ignoring Problem. 76-94
Electronic Edition (link) BibTeX
Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv:
Cartesian Partial-Order Reduction. 95-112
Electronic Edition (link) BibTeX

Joel P. Self, Eric G. Mercer:
On-the-Fly Dynamic Dead Variable Analysis. 113-130
Electronic Edition (link) BibTeX
Gérard Basler, Daniel Kroening, Georg Weissenbacher:
SAT-Based Summarization for Boolean Programs. 131-148
Electronic Edition (link) BibTeX

Kristin Y. Rozier, Moshe Y. Vardi:
LTL Satisfiability Checking. 149-167
Electronic Edition (link) BibTeX
Michael Weber:
An Embeddable Virtual Machine for State Space Generation. 168-186
Electronic Edition (link) BibTeX
Jiri Barnat, Lubos Brim, Petr Rockai:
Scalable Multi-core LTL Model-Checking. 187-203
Electronic Edition (link) BibTeX

Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi:
A SystemC/TLM Semantics in Promelaand Its Possible Applications. 204-222
Electronic Edition (link) BibTeX
Alberto Lluch-Lafuente:
Towards Model Checking Spatial Properties with SPIN. 223-242
Electronic Edition (link) BibTeX
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Model Extraction for ARINC 653 Based Avionics Software. 243-262
Electronic Edition (link) BibTeX

Radek Pelánek:
BEEM: Benchmarks for Explicit Model Checkers. 263-267
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Mohamed Nassim Seghir, Andreas Podelski:
ACSAR: Software Model Checking with Transfinite Refinement. 274-278
Electronic Edition (link) BibTeX
Swarat Chaudhuri, Rajeev Alur:
Instrumenting C Programs with Nested Word Monitors. 279-283
Electronic Edition (link) BibTeX