17. SPIN 2010: Enschede, The Netherlands

Jaco van de Pol, Michael Weber (Eds.): Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349 Springer 2010, ISBN 978-3-642-16163-6

Satisfiability Modulo Theories for Model Checking

Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä:
Experimental Comparison of Concolic and Random Testing for Java Card Applets. 22-39
Pedro Merino, Alberto Salmeron:
Combining SPIN with ns-2 for Protocol Optimization. 40-57
Kenro Yatake, Toshiaki Aoki:
Automatic Generation of Model Checking Scripts Based on Environment Modeling. 58-75

Darren D. Cofer:
Model Checking: Cleared for Take Off. 76-87
Martin Wehrle, Sebastian Kupferschmid:
Context-Enhanced Directed Model Checking. 88-105
Stefan Edelkamp, Damian Sulewski:
Efficient Explicit-State Model Checking on General Purpose Graphics Processors. 106-123
Marc de Jonge, Theo C. Ruys:
The SpinJa Model Checker. 124-128

Rüdiger Ehlers, Bernd Finkbeiner:
On the Virtue of Patience: Minimizing Büchi Automata. 129-145
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst:
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. 146-161
Zhe Chen, Gilles Motet:
Nevertrace Claims for Model Checking. 162-179

Javier Esparza:
A False History of True Concurrency: From Petri to Tools. 180-186
Matthew Hague, C.-H. Luke Ong:
Analysing Mu-Calculus Properties of Pushdown Systems. 187-192
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang:
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. 193-211
Alexander Linden, Pierre Wolper:
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. 212-226

Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric:
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. 227-244
Nicholas Kidd, Suresh Jagannathan, Jan Vitek:
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. 245-261

Last update Thu May 24 04:44:24 2012 CET by the DBLP Team —

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