Continuous compliance with lightweight verification tools [pdf]homes.cs.washington.edu3 pointsievans6 years ago