Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Volume 9995 of Lecture Notes in Computer Science, pages 69-84, 2016. [doi]
@inproceedings{BeckerCGHHKNSTT16,
title = {Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor},
author = {Hanno Becker and Juan Manuel Crespo and Jacek Galowicz and Ulrich Hensel and Yoichi Hirai and César Kunz and Keiko Nakata and Jorge Luis Sacchini and Hendrik Tews and Thomas Tuerk},
year = {2016},
doi = {10.1007/978-3-319-48989-6_5},
url = {http://dx.doi.org/10.1007/978-3-319-48989-6_5},
researchr = {https://researchr.org/publication/BeckerCGHHKNSTT16},
cites = {0},
citedby = {0},
pages = {69-84},
booktitle = {FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings},
editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou},
volume = {9995},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-48988-9},
}