Zaslat SMS: High-Level Verification