Towards certified virtual machine-based regular expression parsing. - Thales Antônio Delfino; Rodrigo Geraldo Ribeiro (SBLP, 2018)