default search action
20th SPIN 2013: Stony Brook, NY, USA
- Ezio Bartocci, C. R. Ramakrishnan:
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Lecture Notes in Computer Science 7976, Springer 2013, ISBN 978-3-642-39175-0 - Dirk Beyer
, Philipp Wendler
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. 1-17 - Gerard J. Holzmann:
Proving Properties of Concurrent Programs - (Extended Abstract). 18-23 - Kiran Adhikari, James Street, Chao Wang, Yang Liu
Verifying a Quantitative Relaxation of Linearizability via Refinement. 24-42 - Vadim Alimguzhin, Federico Mari
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. 43-60 - Vadim Alimguzhin, Federico Mari
On-the-Fly Control Software Synthesis. 61-80 - Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz
Compositional Approach to Suspension and Other Improvements to LTL Translation. 81-98 - John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk:
Regression Verification Using Impact Summaries. 99-116 - Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson
Abstraction-Based Guided Search for Hybrid Systems. 117-134 - Sagar Chaki, Joseph Andrew Giampapa:
Probabilistic Verification of Coordinated Multi-robot Missions. 135-153 - Chih-Hong Cheng, Michael Geisinger, Christian Buckl
Synthesizing Controllers for Automation Tasks with Performance Guarantees. 154-159 - Giorgio Delzanno, Riccardo Traverso:
Specification and Validation of Link Reversal Routing via Graph Transformations. 160-177 - Jonas Finnemann Jensen, Kim Guldstrand Larsen
Local Model Checking of Weighted CTL with Upper-Bound Constraints. 178-195 - Sven Gröning, Christopher Rosas, Christian Wietfeld
COMPLeTe - A COMmunication Protocol vaLidation Toolchain. 196-208 - Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder:
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. 209-226 - Alfons Laarman
Guard-Based Partial-Order Reduction. 227-245 - Florian Leitner-Fischer, Stefan Leue:
On the Synergy of Probabilistic Causality Computation and Causality Checking. 246-263 - Stefan Leue, Mitra Tabaei Befrouei:
Mining Sequential Patterns to Explain Concurrent Counterexamples. 264-281 - Nuno P. Lopes
Automatic Equivalence Checking of UF+IA Programs. 282-300 - Anthony Romano, Dawson R. Engler:
Expression Reduction from Programs in a Symbolic Binary Executor. 301-319 - Divjyot Sethi, Muralidhar Talupur, Sharad Malik:
Model Checking Unbounded Concurrent Lists. 320-340 - Bernhard Steffen, Malte Isberner
Property-Driven Benchmark Generation. 341-357 - Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. 358-375
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 2024-12-15 01:14 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: