Back to results
US 2021/0342250 A1Published application
Method and aparatus for verifying a software system
OwnerDaniel Ratiu, Sundaresan Sorakayalpet Arumugaminventors
Life of this patent
Estimating the term…
Loading patent…
Loading patent…
OwnerDaniel Ratiu, Sundaresan Sorakayalpet Arumugaminventors
Estimating the term…
A method and apparatus for verifying a software system are provided. A data processing apparatus includes a processing unit and a memory unit communicatively coupled to the processing unit. The memory unit includes a simulation module and a verification module. The simulation module is configured to perform simulation of the software system for a first set of steps based on a first set of input values. The verification module is configured to instantaneously determine a state of the software system is which verification of the software system is to be initiated. The verification module is configured to initiate verification of the software system at the determined state, perform verification of the software system for a second set of steps based on a second set of input values, and output results of the verification of the software system on a display unit.
A data processing apparatus for verifying a software system, the data processing apparatus comprising:
A method of verifying a software system, the method comprising:
A non-transitory computer-readable storage that stores machine-readable instructions executable by a processing unit to verify a software system, the machine-readable instructions comprising:
Dependencies are inferred from the claim text.