From Nebraska Today Dyer's research aims to streamline software verification practices August 23, 2024