A tool that enables the designer to model Cyber-physical systems and verify their correctness
Primary LanguageJava