Meet Prove & Run at the Systematic Convention 2016

Systematic LogoProve & Run will be exhibiting at the Annual Systematic Convention [1] 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 [2] and ProvenCore-M [3]) 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 [4]


Article printed from Prove & Run: https://www.provenrun.com

URL to article: https://www.provenrun.com/event/meet-prove-run-at-the-systematic-convention-2016/

URLs in this post:

[1] Annual Systematic Convention: http://www.events-systematic-paris-region.org

[2] ProvenCore: http://www.provenrun.com/products/provencore/

[3] ProvenCore-M: http://www.provenrun.com/products/provencore-m/

[4] .: mailto:.

Copyright © 2020 Prove & Run. All rights reserved.