![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
25th SPIN 2018: Malaga, Spain
- María-del-Mar Gallardo, Pedro Merino:
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10869, Springer 2018, ISBN 978-3-319-94110-3
Tutorial and Invited Papers
- Irina Mariuca Asavoae, Hoang Nga Nguyen
, Markus Roggenbach:
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. 3-25 - Klaus Havelund, Doron Peled:
Efficient Runtime Verification of First-Order Temporal Properties. 26-47 - Radu Iosif:
Program Verification with Separation Logic. 48-62
Regular Papers
- Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
:
Petri Net Reductions for Counting Markings. 65-84 - Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll
, Joost-Pieter Katoen:
Improving Generalization in Software IC3. 85-102 - Daniel Gnad
, Patrick Dubbert, Alberto Lluch-Lafuente
, Jörg Hoffmann:
Star-Topology Decoupling in SPIN. 103-114 - Marek Chalupa
, Jan Strejcek
, Martina Vitovská:
Joint Forces for Memory Safety Checking. 115-132 - Adrien Pommellet
, Tayssir Touili:
Model-Checking HyperLTL for Pushdown Systems. 133-152 - Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff:
A Branching Time Variant of CaRet. 153-170 - Léo Henry
, Thierry Jéron
, Nicolas Markey
:
Control Strategies for Off-Line Testing of Timed Systems. 171-189 - Laura Panizo
, Almudena Díaz
, Bruno García
:
An Extension of TRIANGLE Testbed with Model-Based Testing. 190-195 - Tatsuya Abe
:
Local Data Race Freedom with Non-multi-copy Atomicity. 196-215 - Omar I. Al-Bataineh, Mark Reynolds
, David S. Rosenblum:
A Comparative Study of Decision Diagrams for Real-Time Model Checking. 216-234 - Tamás Tóth
, István Majzik
:
Lazy Reachability Checking for Timed Automata with Discrete Variables. 235-254 - Martin Kölbl, Stefan Leue, Hargurbir Singh:
From SysML to Model Checkers via Model Transformation. 255-274 - Lei Bu
, Doron Peled, Dachuan Shen, Yuan Zhuang:
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. 275-291 - YoungMin Kwon, Eunhee Kim:
Quantitative Model Checking for a Controller Design. 292-307 - Antti Valmari
, Vesa Lappalainen
:
Modelling Without a Modelling Language. 308-327 - Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
:
Context-Updates Analysis and Refinement in Chisel. 328-346
![](https://dblp1.uni-trier.de/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.