Patent №
US 9,870,313
Granted
2018-01-16
Filed 2017
Owner
INTERNATIONAL BUSINESS MACHINES CORPORATION
Lab
AI components
3
kr · planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
15401136
According to one exemplary embodiment, a method for preparing a software component for verification is provided. The method may include receiving the software component and a design model. The method may also include generating a wrapper program based on the received software component and the received design model. The method may then include associating the received software component with the generated wrapper program. The method may further include determining a plurality of inputs for the received software component based on the received design model. The method may also include sending the determined plurality of inputs and the received software component with associated wrapper program to a verification tool.
AI classification
Ownership
INTERNATIONAL BUSINESS MACHINES CORPORATION
assignment · 412980899
Assignors
ADIR, ALLON, COPTY, FADY, PIDAN, DMITRY, SALMAN, TAMER
On an employer assignment, the assignors are typically the inventors.