CS Professors Tevfik Bultan and Yufei Ding receive an NSF grant of $750,000 (4 years) and intend to develop a holistic formal-verification framework that will provide a systematic and principled approach for developing dependable and safe Neural Networks (NNs)