![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
22nd SPIN 2015: Stellenbosch, South Africa
- Bernd Fischer
, Jaco Geldenhuys:
Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Lecture Notes in Computer Science 9232, Springer 2015, ISBN 978-3-319-23403-8
Invited Contribution
- Tevfik Bultan:
String Analysis for Vulnerability Detection and Repair. 3-9
Abstraction, Refinement, Translation
- Peter Backes, Jan Reineke:
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. 13-19 - Dirk Beyer
, Stefan Löwe, Philipp Wendler
:
Refinement Selection. 20-38 - Annabelle Klarl:
From Helena Ensemble Specifications to Promela Verification Models. 39-45
Büchi Automata and Hashing
- Jiri Barnat, Petr Rockai
, Vladimír Still, Jirí Weiser:
Fast, Dynamically-Sized Concurrent Hash Table. 49-65 - Frantisek Blahoudek
, Alexandre Duret-Lutz
, Vojtech Rujbr, Jan Strejcek
:
On Refinement of Büchi Automata for Explicit Model Checking. 66-83 - Thibaud Michaud, Alexandre Duret-Lutz
:
Practical Stutter-Invariance Checks for ω-Regular Languages. 84-101
Embedded Systems
- Sudipta Chattopadhyay
:
MESS: Memory Performance Debugging on Embedded Multi-core Systems. 105-125 - Hussama Ismail, Iury Bessa
, Lucas C. Cordeiro
, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho:
DSVerifier: A Bounded Model Checking Tool for Digital Systems. 126-131 - Ana Rosario Espada
, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
:
Runtime Verification of Expected Energy Consumption in Smartphones. 132-149
Heuristics and Benchmarks
- Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal:
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. 153-159 - Dirk Beyer
, Stefan Löwe, Philipp Wendler
:
Benchmarking and Resource Measurement. 160-178 - Francesco Sorrentino:
PickLock: A Deadlock Prediction Approach under Nested Locking. 179-199
SAT/SMT-Based Approaches
- Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue:
Symbolic Causality Checking Using Bounded Model Checking. 203-221 - Antonio Filieri
, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser:
Model Counting for Complex Data Structures. 222-241 - Nils Timm, Stefan Gruner, Prince Sibanda:
Parallel SAT-Based Parameterised Three-Valued Model Checking. 242-259
Software Validation and Verification
- Fabrizio Biondi, Axel Legay, Jean Quilbeuf:
Comparative Analysis of Leakage Tools on Scalable Case Studies. 263-281 - Aleksandar S. Dimovski
, Ahmad Salim Al-Sibahi
, Claus Brabrand, Andrzej Wasowski
:
Family-Based Model Checking Without a Family-Based Model Checker. 282-299 - Maria Christakis, Patrice Godefroid:
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. 300-318
![](https://dblp.org/img/cog.dark.24x24.png)
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.