Can Formal Verification Help Make Robotic Assistants Trustworthy?

Dr Clare Dixon from the University of Liverpool to present keynote address at Formal Verification 2017 – sharing her experiences from the EPSRC-funded Trustworthy Robot Assistants project

June 1st 2017,  Bristol, UK. – Test and Verification Solutions (T&VS) today announced details of the keynote presentation and the full program of technical presentations and panel discussion for Formal Verification 2017 (FV2017). Now in its Fifth successful year FV2017 is organised by T&VS and is Europe’s premier forum dedicated to discussing the application of Formal-based techniques to the verification and validation of complex SOCs, embedded hardware and software.

FV2017 is a one-day, free-to-attend conference that takes place in Reading, UK on Tuesday 27 June 2017. It is also available as a simulcast webinar.

“Once again, we have a very strong program and I’m especially pleased to have Dr Clare Dixon from the University of Liverpool join us to provide the keynote and to share her perspective on Robotic Assistants and what we need to do to ensure they are reliable, safe and trustworthy.” said Mike Bartley, CEO and Founder of T&VS. “Clare has over 20 years’ experience working in Formal and her award winner paper “The Fridge Door is Open” sets the scene for what we can expect.”

Keynote Details

Technical Presentations

Additional Information

For additional information and to register please visit:

http://www.testandverification.com/conferences/formal-verification-conference/fv2017/

FV2017 is free to attend and is made possible through the support of its sponsors: Cadence, Mentor, Onespin Solutions, Synopsys and T&VS.

About T&VS

T&VS (Test and Verification Solutions Ltd) provides services and products to organisations developing complex products in the microelectronics and embedded systems industries. Such organisations use T&VS to verify their hardware and software products, employ industry best practice and manage peaks in development and testing programmes. T&VS’ embedded software testing services includes onsite/offshore testing support including assistance with safety certification and security testing. T&VS hardware verification services include onsite/offshore verification support and training in advanced verification methodologies. T&VS also offers Verification IPs and its own Verification (EDA) signoff tool.

T&VS Company Contact