Xiao Liu, Yufei Jiang, Dinghao Wu. A Lightweight Framework for Regular Expression Verification. In Dongjin Yu, Vu Nguyen 0003, Congfeng Jiang, editors, 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.