Speaker: Kuldeep S. Meel (Georgia Institute of Technology) Abstract:  The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were always correct, and… Read More »Distribution Testing: The New Frontier for Formal Methods

Speaker: Kuldeep S. Meel (Georgia Institute of Technology)   Abstract:  The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were always… Read More »Distribution Testing: The New Frontier for Formal Methods