Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11144684 | Method and system for improving efficacy of model verification by model partitioning | Dixit Manoj Gangadhar, Janaki Sivaramakrishnan, William J. Aldrich, Ebrahim Mehran Mestchian | 2021-10-12 |
| 10387585 | System and method for performing model verification | Dixit Manoj Gangadhar, William J. Aldrich, Amogh Margoor | 2019-08-20 |
| 8121964 | State machine method for editing requirements using transition systems, a sub-state mechanism, and a partial behaviors mechanism in order to reduce complexity and the number of states | Ramesh Sethu | 2012-02-21 |