Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata 0001, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor
FM, 2016.
@inproceedings{FM-2016-BeckerCGHHKNSTT,
author = "Hanno Becker and Juan Manuel Crespo and Jacek Galowicz and Ulrich Hensel and Yoichi Hirai and César Kunz and Keiko Nakata 0001 and Jorge Luis Sacchini and Hendrik Tews and Thomas Tuerk",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_5",
isbn = "978-3-319-48988-9",
pages = "69--84",
title = "{Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor}",
year = 2016,
}