Session

DescriptionBy following this session you will discover how learning and fuzzing techniques allow to enhance verification. Learning approaches include reinforcement learning for the verification of complex integrated circuits, NN controllers used to synthesize barrier certificates, and natural language processing for security property generation. Fuzzing solutions are applied to test case generation, CPU verification and radiation effects simulation.