Join us on Thursday, 15th May 2014 for the annual Formal Verification Conference in Reading where you will be able to listen to Sergio Marchese a Senior Field Application Engineer with OneSpin Solutions.  He will be talking about Safety Critical Component Verification Leveraging Formal Techniques and how the use of formal techniques to apply elements of the standards during the verification of these safety critical components.

We will also be joined by Dan Benua, Principal Engineer at Synopsys who will be presenting Leveraging Formal in an Integrated Verification Platform which will explore some of the challenges and opportunities of combining formal technologies and methodologies with other verification techniques.

For more information about the speakers and to register to attend in person or by Remote Access, visit our website.