Requirement Patterns in Deductive Verification of poST Programs. - Ivan M. Chernenko; Igor S. Anureev; Natalya Olegovna Garanina (Autom. Control. Comput. Sci., 2024)