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 http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=%2Fnetahtml%2FPTO%2Fsrchnum.htm&r=1&f=G&l=50&s1=87,93,800.PN.&OS=PN/87,93,800&RS=PN/87,93,800

Written by Amal Ahmed; edited by Jaya Anand.

AM0804JA0804-1043428


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



Source: Targeted News Service


Story Tools






HispanicBusiness.com Facebook Linkedin Twitter RSS Feed Email Alerts & Newsletters