Үүнийг мессежээр илгээх: Verification of infinite-state systems with applications to security