Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker Juan Manuel Crespo Jacek Galowicz Ulrich Hensel Yoichi Hirai César Kunz Keiko Nakata Jorge Luis Sacchini Hendrik Tews Thomas Tuerk

Published in: FM (2016)

Keyphrases