Share |

PICASSOS - Formal Methods Seminar



Date:28 Feb 2017
Location:British Motor Museum, Gaydon, United Kingdom


Practical applications of formal methods in automotive functional safety, and beyond…
Learn how functional safety and reliability can be improved by incorporating formal methods based tools into your ISO26262 compliant Model Based Design workflows for systems and software design.
The PICASSOS project (Proving Integrity of Complex Automotive Systems of Systems) is part-funded by the UK’s Advanced Manufacturing Supply Chain Initiative (AMSCI) and is a collaboration led by Ricardo, with partners Jaguar Land Rover, Johnson Matthey Battery Systems, YorkMetrics, D-RisQ and the universities of Oxford, Coventry and Warwick.
Attendance is free. Advance registration is required. Register now by e-mail to:
For full details please see the seminar details in the link below: 
< Back