default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st SPIN 2014: San Jose, CA, USA
- Neha Rungta, Oksana Tkachuk:
2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. ACM 2014, ISBN 978-1-4503-2452-6
Research Papers
- Pavel Parízek
, Pavel Jancík:
Approximating happens-before order: interplay between static analysis and state space traversal. 1-10 - Hao Zheng:
Local state space construction for compositional verification of concurrent systems. 11-19 - Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran:
Exploiting synchronization in the analysis of shared-memory asynchronous programs. 20-29 - Marie-Christine Jakobs, Heike Wehrheim:
Certification for configurable program analysis. 30-39 - Henning Günther, Georg Weissenbacher:
Incremental bounded software model checking. 40-47 - Ioannis Filippidis, Gerard J. Holzmann:
An improvement of the piggyback algorithm for parallel model checking. 48-57 - Aditya V. Thakur, Jason Breck, Thomas W. Reps:
Satisfiability modulo abstraction for separation logic with linked lists. 58-67 - Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek:
Is there a best büchi automaton for explicit model checking? 68-76 - Noomene Ben Henda:
Generic and efficient attacker models in SPIN. 77-86 - Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka:
Towards a GPGPU-parallel SPIN model checker. 87-96
Short Papers
- Nastaran Shafiei, Franck van Breugel:
Automatic handling of native methods in Java PathFinder. 97-100 - Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko:
CTL+FO verification as constraint solving. 101-104 - Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim:
Quantifying information leaks using reliability analysis. 105-108 - Sagar Chaki, James R. Edmondson:
Toward parameterized verification of synchronous distributed applications. 109-112 - Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov:
Towards a test automation framework for alloy. 113-116 - Florian Leitner-Fischer, Stefan Leue:
SpinCause: a tool for causality checking. 117-120 - Nicolas Latorre, Francesco Alberti, Natasha Sharygina:
Verige: verification with invariant generation engine. 121-124 - Zmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze:
SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker. 125-128 - Robin P. Neatherway, C.-H. Luke Ong:
TravMC2: higher-order model checking for alternating parity tree automata. 129-132 - Theo C. Ruys:
Unit testing for SPIN: runspin and parsepan. 133-136
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-21 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
