PragmaDev annonce aujourd’hui la sortie de PragmaDev Studio V6.1, qui
apporte des améliorations majeures en matière d’exploration de modèles et de réduction de l’espace d’états. Ces nouvelles fonctionnalités renforcent encore la position de PragmaDev Studio comme outil de référence pour le model checking et la vérification formelle, en permettant aux ingénieurs d’analyser des systèmes complexes plus efficacement que jamais.

medium_pragamedv_studio_6.1_nextmove.fr.webp

small_pragamedv_studio_6.1_nextmove.fr.webp

thumbnail_pragamedv_studio_6.1_nextmove.fr.webp

PragmaDev Studio V6.1 introduit des capacités avancées de réduction de l’espace d’états pour une exploration des modèles plus rapide et plus efficace

Le marché automobile français à très bas niveau en mai 2026, la part de marché des véhicules 100% électrique s’élève à 28%, en France les marques chinoises pèsent plus de 17% des ventes d’hybrides rechargeables, en Europe la part de marché des véhicules 100% électriques très en-deçà du niveau attendu pour être au rendez-vous de la trajectoire règlementaire

medium_lettre_marche_analyse_pfa_d809d1c6aa.png

small_lettre_marche_analyse_pfa_d809d1c6aa.png

thumbnail_lettre_marche_analyse_pfa_d809d1c6aa.png

Lettre Marché & Analyses de la filière Automobile & Mobilités PFA - Juin2026

BERTON IP, ENORISE, French POC, GoToImpact, Smarteko, SOLEK et Shizen rejoignent NextMove avec des expertises utiles à l’industrie automobile et aux mobilités.

large_mai 2026 - Welcome @NextMove #Membres.webp

medium_mai 2026 - Welcome @NextMove #Membres.webp

small_mai 2026 - Welcome @NextMove #Membres.webp

thumbnail_mai 2026 - Welcome @NextMove #Membres.webp

7 nouveaux membres rejoignent la communauté NextMove

Pour encourager et renforcer la participation aux appels à projets européens, l’ANR a lancé deux nouveaux programmes visant à faciliter le dépôt de projets et à soutenir la prise de risque des équipes de recherche françaises.

Tremplin vers l'Europe : les dispositifs de l'ANR


Recherche d'un emploi en tant qu'assistante de direction ou manager




Télécharger le CV







Demande d'emploi - Assistante de direction / Manager

PragmaDev Studio V6.1 introduit des capacités avancées de réduction de l’espace d’états pour une exploration des modèles plus rapide et plus efficace

Lettre Marché & Analyses de la filière Automobile & Mobilités PFA - Juin2026

7 nouveaux membres rejoignent la communauté NextMove

Tremplin vers l'Europe : les dispositifs de l'ANR