Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

FM 2016
DBLP
Scholar
DOI
Full names Links ISxN
@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,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.