Pune
India
10
2026-04-23
The entities that hold a legal rights for patent applications filed by inventor Kumar Shrawan:
Shrawan Kumar from Pune, IN has applied for patents for these inventions. The list has both pending applications and granted patents:
METHOD AND SYSTEM TO PERFORM INTERVAL ANALYSIS IN SOURCE CODE USING FUNCTIONAL APPROACH
#2 | 2024-05-02METHOD AND SYSTEM FOR INCREMENTAL FUNCTIONAL APPROACH-BASED DATAFLOW ANALYSIS
#3 | 2023-09-07Method and system for identifying relevant changes for incremental verification of evolving software
#4 | 2023-07-27Method and system for validation of calculation code against calculation specification
#5 | 2023-04-27Method and system for identifying static analysis alarms based on semantics of changed source code
#6 | 2023-01-05Systems and methods for selective path sensitive interval analysis
#7 | 2022-10-27Method and system for function call and variable access based relaxed backward slicing
#8 | 2021-05-13System and method for software verification
#9 | 2012-11-15System and method for analysis of a large code base using partitioning
#10 | 2005-07-21Apparatus and method for automatically migrating client server applications to other architectures and platforms
3296647 ⎘