Stop the war!
Остановите войну!
for scientists:
default search action
27th SPIN 2021: Virtual Event
- Alfons Laarman, Ana Sokolova:
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Lecture Notes in Computer Science 12864, Springer 2021, ISBN 978-3-030-84628-2
Invited Talks
- Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn:
The Marriage Between Safety and Cybersecurity: Still Practicing. 3-21 - Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink:
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. 22-41
Model Checking
- Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
Accelerating the Computation of Dead and Concurrent Places Using Reductions. 45-62 - Madoda Nxumalo, Nils Timm, Stefan Gruner:
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. 63-80 - Maik Wiesner, Marie-Christine Jakobs:
Verifying Pipeline Implementations in OpenMP. 81-98
Tool Papers
- Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay:
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. 101-119 - Marie-Christine Jakobs:
PatEC: Pattern-Based Equivalence Checking. 120-139 - Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault:
Go2Pins: A Framework for the LTL Verification of Go Programs. 140-156 - Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, Franck van Breugel:
Probabilistic Model Checking of Randomized Java Code. 157-174
Case Studies
- Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe:
A Model-Checked I2C Specification. 177-193
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.