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. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-16163-6
Satisfiability Modulo Theories for Model Checking
- Alessandro Cimatti: SMT-Based Software Model Checking. 1-3
Model Checking in Context
- Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä: Experimental Comparison of Concolic and Random Testing for Java Card Applets. 22-39
- Kenro Yatake, Toshiaki Aoki: Automatic Generation of Model Checking Scripts Based on Environment Modeling. 58-75
Implementation and Performance of Model Checking
- Darren D. Cofer: Model Checking: Cleared for Take Off. 76-87
- Stefan Edelkamp, Damian Sulewski: Efficient Explicit-State Model Checking on General Purpose Graphics Processors. 106-123
LTL and Büchi Automata
- Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst: Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. 146-161
Infinite State Models
- Javier Esparza: A False History of True Concurrency: From Petri to Tools. 180-186
- 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
Concurrent Software
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team