Mitra Develops Verification Tool for Trustworthy Cyber-Physical Systems Jul 21, 2014 8:00 amNews Article Share on Facebook Tweet Email Images CSL Assistant Professor Sayan Mitra is designing a tool that provides formal guarantees for the safety and reliability of software, using novel algorithms that leverage the properties of physics and apply them to cyber systems. Share on Facebook Tweet Email