WIPO PUBLISHES PATENT OF HITACHI FOR "SOURCE CODE GENERATION DEVICE, SOURCE CODE VERIFICATION DEVICE, SOURCE CODE GENERATION METHOD AND SOURCE CODE GENERATION PROGRAM" (JAPANESE, SWISS, INDIAN INVENTORS)

GENEVA, June 23 -- Publication No. WO/2015/087409 was published on June 18.

Title of the invention: "SOURCE CODE GENERATION DEVICE, SOURCE CODE VERIFICATION DEVICE, SOURCE CODE GENERATION METHOD, AND SOURCE CODE GENERATION PROGRAM."

Applicants: HITACHI LTD. (JP).

Inventors: Andreas Fuerst (CH), Son Thai Hoang (CH), David Basin (CH), Krishnaji Desai (IN), Naoto Sato (JP), Kunihiko Miyazaki (JP) and Shinji Itoh (JP).

According to the abstract* posted by the World Intellectual Property Organization: "The present invention verifies...