Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Scalable methods for analyzing formalized requirements and localizing errors

Scalable methods for analyzing formalized requirements and localizing errors

US Patent 9639450 · Granted May 2, 2017

Estimated economic value: $15,007,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System and method for equivalence class analysis-based automated requirements-ba2019
System and method for model based technology and process for safety-critical sof2019
System and method for equivalence class analysis-based automated requirements-ba2018
System and method for multi-level real-time scheduling analyses2018
Method and system of software specification modeling2017
Quantifier elimination by dependency sequents2013