Formalization of virtual machines. Master project. - View it on GitHub