Data processing: software development, installation, and managem
Software program development tool
Translation of code
Inventor
active
Behavioral analysis for message-passing application programs
Enabling analysis of software source code
Methods for enhancing program analysis
Procedure summaries for multithreaded software
System and method for generating a predicate abstraction of...
No associations
LandOfFree
Sriram K. Rajamani does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Sriram K. Rajamani, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sriram K. Rajamani will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-2356473