SPIN 2014- Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

Full Citation in the ACM Digital Library

SESSION: Research Papers

Approximating happens-before order: interplay between static analysis and state space traversal

• Pavel Parízek
• Pavel Jančík

Local state space construction for compositional verification of concurrent systems

• Hao Zheng

Exploiting synchronization in the analysis of shared-memory asynchronous programs

• Michael Emmi
• Burcu Kulahcioglu Ozkan
• Serdar Tasiran

Certification for configurable program analysis

• Marie-Christine Jakobs
• Heike Wehrheim

Incremental bounded software model checking

• Henning Günther
• Georg Weissenbacher

An improvement of the piggyback algorithm for parallel model checking

• Ioannis Filippidis
• Gerard J. Holzmann

Satisfiability modulo abstraction for separation logic with linked lists

• Aditya Thakur
• Jason Breck
• Thomas Reps

Is there a best büchi automaton for explicit model checking?

• František Blahoudek
• Alexandre Duret-Lutz
• Mojmír Křetínský
• Jan Strejček

Generic and efficient attacker models in SPIN

• Noomene Ben Henda

Towards a GPGPU-parallel SPIN model checker

• Ezio Bartocci
• Richard DeFrancisco
• Scott A. Smolka

SESSION: Short Papers

Automatic handling of native methods in Java PathFinder

• Nastaran Shafiei
• Franck van Breugel

CTL+FO verification as constraint solving

• Tewodros A. Beyene
• Marc Brockschmidt
• Andrey Rybalchenko

Quantifying information leaks using reliability analysis

• Quoc-Sang Phan
• Pasquale Malacaria
• Corina S. Păsăreanu
• Marcelo D'Amorim

Toward parameterized verification of synchronous distributed applications

• Sagar Chaki
• James Edmondson

Towards a test automation framework for alloy

• Allison Sullivan
• Razieh Nokhbeh Zaeem
• Sarfraz Khurshid
• Darko Marinov

SpinCause: a tool for causality checking

• Florian Leitner-Fischer
• Stefan Leue

Verige: verification with invariant generation engine

• Nicolas Latorre
• Francesco Alberti
• Natasha Sharygina

SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker

• Zmago Brezočnik
• Boštjan Vlaovič
• Aleksander Vreže

TravMC2: higher-order model checking for alternating parity tree automata

• Robin P. Neatherway
• C.-H. Luke Ong

Unit testing for SPIN: runspin and parsepan

• Theo C. Ruys