Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System and method for detecting unreachable states in a statemate statechart model

System and method for detecting unreachable states in a statemate statechart model

US Patent 8977533 · Granted Mar 10, 2015

Estimated economic value: $38,326,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Optimized HVAC control using domain knowledge combined with deep reinforcement l2025
Optimized HVAC control using domain knowledge combined with deep reinforcement l2025
Method and system for function call and variable access based relaxed backward s2025
Method and system for validation of calculation code against calculation specifi2024
Method and system for validation of calculation code against calculation specifi2024
Systems and methods for optimizing performance parameters of air handling units 2023
Automated machine learning feature processing2022
System and method for software verification2022
Method and system for counter example guided loop abstraction refinement2021
Controlling behavior of an internet of things (IoT) automation system by identif2021
Method and system for test case generation for event based systems using graph p2021
Method and system for test case generation for event based systems using graph p2021