A vision for online verification-validation.

Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn

Browse the full GPCE paper archive.