A vision for online verification-validation

Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn. A vision for online verification-validation. In Bernd Fischer, Ina Schaefer, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016. pages 190-201, ACM, 2016. [doi]


Abstract is missing.