Prove & Run will be exhibiting at the Annual Systematic Convention in Paris at the Maison de la Chimie, on the 8th of June 2016.
Digital Trust will be one of the focus of the Convention, and Prove & Run will use this opportunity to demonstrate how to use its formally proven OS kernels (ProvenCore and ProvenCore-M) to create secure-by-design software architectures for embedded devices and the Internet of Things. Come and meet us at our stand!
Attendance is free but advance registration is mandatory.
If you want to schedule a meeting ahead of time, please send us an email at .moc.1579778340nurne1579778340vorp@1579778340tcatn1579778340oc1579778340Print