Inventor
active
Hiding irrelevant facts in verification conditions
Method and apparatus for automatically inferring annotations
Method and apparatus for organizing warning messages
Method and apparatus for statically analyzing a computer program
System and method for lexing and parsing program annotations
No associations
LandOfFree
K. Rustan M. Leino does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with K. Rustan M. Leino, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and K. Rustan M. Leino will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-1401011