A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - Invited Contribution
Gespeichert in:
| Veröffentlicht in: | SPIN (27. : 2021 : Online) Model Checking Software |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| The Marriage Between Safety and Cybersecurity: Still Practicing | 2021 | Stoelinga, Marielle |
| A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - Invited Contribution | 2021 | Ciancia, Vincenzo |
| Accelerating the Computation of Dead and Concurrent Places Using Reduction | 2021 | Amat, Nicolas |
| A Model-Checked I²C Specification | 2021 | Humbel, Lukas |
| Go2Pins: A Framework for the LTL Verification of Go Programs | 2021 | Kirszenberg, Alexandre |
| PatEC: Pattern-Based Equivalence Checking | 2021 | Jakobs, Marie-Christine |
| Probabilistic Model Checking of Randomized Java Code | 2021 | Fatmi, Syyeda Zainab |
| Spotlight Abstraction in Model Checking Real-Time Task Schedulability | 2021 | Nxumalo, Madoda |
| C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs | 2021 | Chenoy, Antoine |
| Verifying Pipeline Implementations in OpenMP | 2021 | Wiesner, Maik |