Jacob I. Torrey, Mark P. Bridgman. Verification State-Space Reduction through Restricted Parsing Environments. In 2015 IEEE Symposium on Security and Privacy Workshops, SPW 2015, San Jose, CA, USA, May 21-22, 2015. pages 106-116, IEEE Computer Society, 2015. [doi]
Abstract is missing.