Abstract is missing.
- Approximating happens-before order: interplay between static analysis and state space traversalPavel Parizek, Pavel Jancík. 1-10 [doi]
- Local state space construction for compositional verification of concurrent systemsHao Zheng. 11-19 [doi]
- Exploiting synchronization in the analysis of shared-memory asynchronous programsMichael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran. 20-29 [doi]
- Certification for configurable program analysisMarie-Christine Jakobs, Heike Wehrheim. 30-39 [doi]
- Incremental bounded software model checkingHenning Günther, Georg Weissenbacher. 40-47 [doi]
- An improvement of the piggyback algorithm for parallel model checkingIoannis Filippidis, Gerard J. Holzmann. 48-57 [doi]
- Satisfiability modulo abstraction for separation logic with linked listsAditya V. Thakur, Jason Breck, Thomas W. Reps. 58-67 [doi]
- Is there a best büchi automaton for explicit model checking?Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek. 68-76 [doi]
- Generic and efficient attacker models in SPINNoomene Ben Henda. 77-86 [doi]
- Towards a GPGPU-parallel SPIN model checkerEzio Bartocci, Richard DeFrancisco, Scott A. Smolka. 87-96 [doi]
- Automatic handling of native methods in Java PathFinderNastaran Shafiei, Franck van Breugel. 97-100 [doi]
- CTL+FO verification as constraint solvingTewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko. 101-104 [doi]
- Quantifying information leaks using reliability analysisQuoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim. 105-108 [doi]
- Toward parameterized verification of synchronous distributed applicationsSagar Chaki, James R. Edmondson. 109-112 [doi]
- Towards a test automation framework for alloyAllison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov. 113-116 [doi]
- SpinCause: a tool for causality checkingFlorian Leitner-Fischer, Stefan Leue. 117-120 [doi]
- Verige: verification with invariant generation engineNicolas Latorre, Francesco Alberti, Natasha Sharygina. 121-124 [doi]
- SpinRCP: the eclipse rich client platform integrated development environment for the spin model checkerZmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze. 125-128 [doi]
- TravMC2: higher-order model checking for alternating parity tree automataRobin P. Neatherway, C.-H. Luke Ong. 129-132 [doi]
- Unit testing for SPIN: runspin and parsepanTheo C. Ruys. 133-136 [doi]