News Column

International Business Machines Assigned Patent for Static Analysis for Verification of Software Program

August 4, 2014

By Targeted News Service

ALEXANDRIA, Va., Aug. 4 -- International Business Machines, Armonk, New York, has been assigned a patent (8,793,800) developed by four co-inventors for the "static analysis for verification of software program access to secure resources for computer systems." The co-inventors are Ryan Berg, Sudbury, Massachusetts, Paolina Centonze, Amawalk, New York, Marco Pistoia, Amawalk, New York, and Omer Tripp, Har-Adar, Israel.

The patent application was filed on Oct. 5, 2012 (13/646,182). The full-text of the patent can be found at,93,800.PN.&OS=PN/87,93,800&RS=PN/87,93,800

Written by Amal Ahmed; edited by Jaya Anand.


For more stories covering the world of technology, please see HispanicBusiness' Tech Channel

Source: Targeted News Service

Story Tools Facebook Linkedin Twitter RSS Feed Email Alerts & Newsletters