For the verification and optimisation of business processes.


4 independent and integrated modules for the specification and design of communicating systems:

Free download here.

In a few words

PragmaDev provides two lines of product:

PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify and optimise their models. It integrates a BPMN editor, an executor, an explorer, and a simulator.

PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. PragmaDev Developer helps software designers to write maintainable and self documented code. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. PragmaDev Tracer is a stand alone tracing tool that is also integrated in the other modules.

PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Nokia, ST, ABB, the French Army, the European Space Agency, Toshiba, Korean Telecom, or LG Electronics.

Read more...

News and events RSS

Jun 14, 2022 - Paris - France - A new generation of model checker with PragmaDev Studio V6.0.


May 17-20, 2022 - PragmaDev is one the exhibitors on Global Industrie as a member of the Solution Providers for the Industry 4.0.


Apr 15, 2022 - PragmaDev Process V2.0, a new generation of business process simulator.


Dec 14, 2021 - PragmaDev is a partner of OneWay, a major digital integration project in the aeronautic sector.


Sep 20, 2021 - The latest version of SDL-RT introduces the message broadcast, following the recent update in SDL recommendation. More...


Oct 20, 2021 - PragmaDev presented the Automatic Testing of Business Processes at UCAAT 2021.


May 18, 2021 - PragmaDev celebrates its 20th birthday! Check our recap.


May 6, 2021 - Joint webinar with MEGA International on the verification of business processes (in French).