Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Pascal Zwick"'
Autor:
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 296, Iss Proc. HCVS/PERR 2019, Pp 6-13 (2019)
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairnes
Externí odkaz:
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54
Autor:
Benedikt Wagner, Pascal Zwick, Mihai Herda, Michael Kirsten, Etienne Brunner, Bernhard Beckert, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 296, Iss Proc. HCVS/PERR 2019, Pp 6-13 (2019)
HCVS/PERR@ETAPS
HCVS/PERR@ETAPS
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairnes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37d1f6aeaab295ca23b7c09062b06997
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54