Verification of SystemC Components Using the Method of Deduction. - Elbouanani Soumia; Ismail Assayad; Mohamed Sadik (UNet, 2017)