2IMP10 (2022-GS2) Program verification techniques