Bharti Chimdyalwar, Priyanka Darke. Statically relating program properties for efficient verification (short WIP paper). In Zheng Zhang 0012, Christophe Dubach, editors, Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2018, Philadelphia, PA, USA, June 19-20, 2018. pages 99-103, ACM, 2018. [doi]
Abstract is missing.