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

Dennis Dams:
StackSnuffer: Curing Orion's Unsoundness. 1
Lubos Brim, Jiri Barnat:
Tutorial: Parallel Model Checking. 2-3

Directed Model Checking

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

Partial Order Reduction

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

Program Analysis

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

Exploration Advances

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

Modeling and Cases

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

Tools

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

Last update Fri May 25 08:41:16 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page