Programming logic is a framework or system to prove properties of programs. Hoare logic is the representative basic theory, and certified programming is the technique/method for the programming logic. Hence "Programming language" and "prog…