Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
PROGRAM VERIFICATION DEVICE, PROGRAM VERIFICATION METHOD, COMPUTER PROGRAM FOR PROGRAM VERIFICATION, PROGRAM CONVERTER, PROGRAM CONVERSION METHOD, COMPUTER PROGRAM FOR PROGRAM CONVERSION, PROGRAM MANUFACTURING METHOD, AND PROGRAM FOR VERIFICATION
Document Type and Number:
WIPO Patent Application WO/2019/124022
Kind Code:
A1
Abstract:
A program verification device 10 comprising a converter 20 for generating a converted program subject to formal verification, said converted program including a fused loop statement wherein a plurality of loop statements included in an original program have been fused.

Inventors:
SUENAGA KOHEI (JP)
IMANISHI AKIFUMI (JP)
IGARASHI ATSUSHI (JP)
Application Number:
PCT/JP2018/044029
Publication Date:
June 27, 2019
Filing Date:
November 29, 2018
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
UNIV KYOTO (JP)
International Classes:
G06F11/36
Foreign References:
JP2010097328A2010-04-30
JP2017138679A2017-08-10
JP2012014526A2012-01-19
Attorney, Agent or Firm:
SAKAMOTO Hiroshi (JP)
Download PDF: