On our website, we would like to use the services of third-party providers who help us improve our promotional offerings (marketing), evaluate the use of our website (performance) and adapt the website to your preferences (functionality). We need your consent for the use of these services; you can always revoke this consent. You can find information about the services and the chance to reject them under “User-defined.” You can find additional information in our Data Protection Policy.

Use #ew22

15 - 17 March 2022 // Nuremberg, Germany

+++ The entries in the exhibitor & product database correspond to the registration status for embedded world 2020. +++

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2020

Prove & Run

77, avenue Niel

75017 Paris


Phone: +33(0)1.75775555

Fax: +33(0)1.75775555

Request contact / appointment Request contact / appointment

Contact us

Please enter your personal information and desired appointment. You can also leave us a message.

Your personal information

Your message for us

Desired appointment during the exhibition

* Compulsory fields you must fill in.

Information on data protection can be found here.

Your message has been sent.

You do not have a registration yet? Register now and use all advantages of the Exhibitors and Products Database, the supporting programme and the TicketShop.

An error has occurred.


Prove & Run produces ProvenTools a complete software development toolchain built on innovative proof techniques. With this toolchain, Prove & Run can help you raise the quality and security of your software development projects to the very high levels required in today’s market while taking into account the constraints of a significant software development project, including time-to-market, cost, required skill levels, etc. Our toolchain is forged to deal with the most sensitive software components (microkernels, hypervisors, secure bootloaders, etc) and to meet the highest security requirements (CC EAL7 and more).

Prove & Run uses ProvenTools to create formally proven secure software components such as ProvenCore, a microkernel for embedded devices, and the Proven Mobile Stack, an application framework for smartphones and tablets. Prove & Run also offers Professional Services to its customers who want to create their own applications.

Prove & Run is a rapidly-growing software company staffed with researchers and engineers who are dedicated to pushing the boundaries of computer science to make software development more rigorous, and our management has a proven track record in turning research into practical innovation. The company was founded by Dominique Bolignano in 2009.

Prove & Run is independent and financially secure. It has its headquarters in Paris, France, and we are always looking for talented new team members to help us grow.

Prove & Run offers you products from these product groups:


Clicking on an exhibitor opens his profile with more information.


The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.