Automated program verifiers automatically check whether a software program conforms to a
user-provided specification. This includes checking whether the program will not crash and …