Latest news

No news at this moment


Press Release

Commissariat à l’Energie Atomique, France

An Introduction to VeriFast for Java

Jochen Burghardt, Hans Werner Pohl

A Trusted Virtual Security Module

Ronald Toegl, Florian Reimair, Martin Pirker


Dassault Aviation

Dassault Aviation

Further Information :

About Dassault Aviation

DASSAULT AVIATION is a key player in the aerospace industry, both in Europe and internationally, thanks to the initiatives and skills developed within the Group.
Only group in the world to design, manufacture and support both combat aircraft (instruments of political independence) and business jets (work and economic development tools), at the vanguard of the technical and industrial revolution of the digital enterprise.

Some figures:
over the past 10 years, exports have accounted on average for 73% of sales, and Falcon business jets for 63% of sales,
some 11,500 employees, 8,000 of whom are based in France, more than 8,000 aircraft delivered for over 25 million hours of flight time, and a presence in 77 countries worldwide.


Role in the Project

DASSAULT AVIATION is an end-user of the technical solutions developed by STANCE tool providers, and is mainly involved into its own use case assessment.

Key Personnel