Englisch

Jakobs, Marie-Christine
Hrsg.: Laarman, Alfons ; Sokolova, Ana (2021)
PatEC: Pattern-Based Equivalence Checking.
27th International Symposium on Model Checking Software (SPIN 2021). virtual Conference (12.07.2021-12.07.2021)
doi: 10.1007/978-3-030-84629-9_7
Konferenzveröffentlichung, Bibliographie

Wiesner, Maik ; Jakobs, Marie-Christine
Hrsg.: Laarman, Alfons ; Sokolova, Ana (2021)
Verifying Pipeline Implementations in OpenMP.
27th International Symposium on Model Checking Software (SPIN 2021). virtual Conference (12.07.2021-12.07.2021)
doi: 10.1007/978-3-030-84629-9_5
Konferenzveröffentlichung, Bibliographie