VrFy: Verification of Formal Requirements using Generic Traces

Autor:	Jorrit J. Olthuis, Rodolfo Jordao, Francesco Robino, Sina Borrami
Rok vydání:	2021
Zdroj:	2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
DOI:	10.1109/qrs-c55045.2021.00034
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf7aacf153665539858ddf01ab3850c6 https://doi.org/10.1109/qrs-c55045.2021.00034 Zobrazit plný text záznamu