Gravar-mail: A deductive verification platform for cryptographic software