Verifpal Cryptographic Protocol Analysis for Students and Engineers