2IMP10 (2023-GS2) Program verification techniques