![](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
23rd SPIN(@ETAPS) 2016: Eindhoven, The Netherlands
- Dragan Bosnacki, Anton Wijs
:
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9641, Springer 2016, ISBN 978-3-319-32581-1 - Lakhdar Akroun, Gwen Salaün, Lina Ye:
Automated Analysis of Asynchronously Communicating Systems. 1-18 - Aleksandar S. Dimovski
:
Symbolic Game Semantics for Model Checking Program Families. 19-37 - Iulia Dragomir
, Viorel Preoteasa, Stavros Tripakis
:
Compositional Semantics and Analysis of Hierarchical Block Diagrams. 38-56 - Stefan Edelkamp, Christoph Greulich:
Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. 57-77 - María-del-Mar Gallardo, Pedro Merino
, Laura Panizo
, Alberto Salmerón:
River Basin Management with Spin. 78-96 - Mário Garcia, Felipe R. Monteiro
, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. 97-103 - Ruth Hoffmann
, Murray L. Ireland, Alice Miller, Gethin Norman
, Sandor M. Veres:
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. 104-110 - Martin Hofmann, Christian Neukirchen, Harald Rueß:
Certification for μ-Calculus with Winning Strategies. 111-128 - Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. 129-146 - Nishanthan Kamaleson, David Parker, Jonathan E. Rowe:
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. 147-164 - Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha
:
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. 165-181 - Kareem Khazem, Michael Tautschnig:
smid: A Black-Box Program Driver. 182-188 - Radu Mateescu, José Ignacio Requeno
:
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. 189-207 - Jan Mrázek
, Petr Bauch, Henrich Lauko, Jiri Barnat:
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. 208-213 - Subash Shankar, Gilbert Pajela:
A Tool Integrating Model Checking into a C Verification Toolset. 214-224 - Antti Valmari, Walter Vogler:
Fair Testing and Stubborn Sets. 225-243
![](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.