14 - 16 March 2017 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout

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.
Your message has been sent.

Would you like to use more facilities and advantages of the platform? Then please log in – or register here.

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:

There are no entries in your notes.

Show notes


Clicking on an exhibitor opens his profile with more information.


The selected entry has been placed in your notes!

If you register you can save your notes 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 notes permanently. Use the instant access to exhibitors or products saved – 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 notes mobile too! Simply log in and access them at anytime.