Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Probabilistic model checking of systems with ranged probabilities

Probabilistic model checking of systems with ranged probabilities

US Patent 8799194 · Granted Aug 5, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Automatic generation of patches for security violations2024
Mechanism for providing external access to a secured networked virtualization en2022
Method and system providing automated support for cross-cloud hybridity services2021
Virtual network operations center for cross-cloud hybrid services upgradability2021
Cross-cloud object mapping for hybrid clouds2021
Mechanism for providing external access to a secured networked virtualization en2020
Cross-cloud object mapping for hybrid clouds2019
Testing applications with a defined input format2018
Testing applications with a defined input format2018
Offline queries in software defined networks2017
Cross-cloud object mapping for hybrid clouds2017
Software testing using machine learning2014