blog posts

• 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.

  stats

  • 1 View

  additional actions
  • Share on Facebook
  • Tweet
  • Email