Operating System Specification Using Ver by Peter Markstein