Maple Grove, Minnesota
United States
15
2026-01-08
The entities that hold a legal rights for patent applications filed by inventor Bhatt Devesh:
Devesh Bhatt from Maple Grove, US has applied for patents for these inventions. The list has both pending applications and granted patents:
SYSTEMS AND METHODS FOR IMPROVED TESTING OF SYSTEM IMPLEMENTATION GIVEN PARTIALLY DEFINED INPUT VALUES AND EXPECTED OUTPUT VALUES
#2 | 2025-08-07SYSTEMS AND METHODS FOR DETERMINING SYSTEM INTERMEDIATE AND OUTPUT VALUES WITH PARTIALLY DEFINED SYSTEM INPUT VALUES
#3 | 2014-01-16Systems and methods for verifying expression folding
#4 | 2013-01-17Systems and methods for verifying model equivalence
#5 | 2012-08-16Error propagation in a system model
#6 | 2012-07-19Type and range propagation through data-flow models
#7 | 2012-03-08Auto-generation of concurrent code for multi-core applications
#8 | 2011-10-20Method for automated error detection and verification of software
#9 | 2011-05-26Method for software vulnerability flow analysis, generation of vulnerability-covering code, and multi-generation of functionally-equivalent code
#10 | 2010-07-29SYSTEM AND METHODS OF USING TEST POINTS AND SIGNAL OVERRIDES IN REQUIREMENTS-BASED TEST GENERATION
#11 | 2009-12-17Distributed engine control system
#12 | 2009-11-19Method, apparatus, and system for automatic test generation from statecharts
#13 | 2009-11-19Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation
#14 | 2008-05-29Requirements-based test generation
#15 | 2007-05-15Model-based composable code generation
45267 ⎘