Abstract is missing.
- The Marriage Between Safety and Cybersecurity: Still PracticingMariƫlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn. 3-21 [doi]
- A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited ContributionVincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink. 22-41 [doi]
- Accelerating the Computation of Dead and Concurrent Places Using ReductionsNicolas Amat, Silvano Dal-Zilio, Didier Le Botlan. 45-62 [doi]
- Spotlight Abstraction in Model Checking Real-Time Task SchedulabilityMadoda Nxumalo, Nils Timm, Stefan Gruner. 63-80 [doi]
- Verifying Pipeline Implementations in OpenMPMaik Wiesner, Marie-Christine Jakobs. 81-98 [doi]
- C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C ProgramsAntoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay. 101-119 [doi]
- PatEC: Pattern-Based Equivalence CheckingMarie-Christine Jakobs. 120-139 [doi]
- Go2Pins: A Framework for the LTL Verification of Go ProgramsAlexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault. 140-156 [doi]
- Probabilistic Model Checking of Randomized Java CodeSyyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang 0001, Franck van Breugel. 157-174 [doi]
- 2C SpecificationLukas Humbel, Daniel Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David Cock, Michael Giardino, Timothy Roscoe. 177-193 [doi]