Location:San Francisco - Bay Area
A tool that enables the designer to model Cyber-physical systems and verify their correctness