Hot: formal-verification