Telefona gönder: Validation methods using formal techniques