Gravar-mail: A framework for digital model checking