# Méthode formelle

de calcul formel nécessite une connaissance approfondie du système et de ses limitations. En précisant... de l’utilité d’un investissement dans une formation sur le calcul formel. De nombreux exemples illustrent... ’équations non [...]

Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire des démonstrations de façon semi-automatique, tout en garantissant la correction de ces démonstrations. Ce type d'outil est utile à la vérification de logiciel critique. Cet article [...]

Depuis le développement de la première application ferroviaire à base de logiciel, nommée SACEM, les méthodes formelles ont été largement utilisées et mises en œuvre par des industriels à différents niveaux (spécification, conception, code) et pour différents types [...]

Avec des déchets plastiques qui s'accumulent, la Commission européenne souhaite mettre en place de nouveaux moyens de les traiter. Les industriels proposent...

Avec l’arrivée annoncée de l’ordinateur quantique en 2030, les entreprises cherchent à savoir si elles pourront en tirer le meilleur pour optimiser leurs performances....

L'intelligence artificielle (IA) s'attache à résoudre des problèmes qui relèvent d'activités humaines de nature variée (perception, prise de décision, planification,...

Comment débusquer une erreur dans un logiciel comprenant des milliers de lignes de code ? Pour assurer la sécurité et la certification de certains programmes...

Prévues pour début février, les nouvelles conditions de services de WhatsApp sont reportées. Trop d’utilisateurs ont décidé d’abandonner la messagerie de Facebook,...

Consultant et expert traçabiliticien® depuis 2000, puis nommé expert judiciaire près la cour d'appel de Montpellier en 2009, Jean-Luc Viruéga exerce en libéral...

Négocié depuis plus de vingt-cinq ans, l’accord commercial entre l’Union européenne et le Mercosur (Argentine, Brésil, Paraguay, Uruguay) a été signé par la...

Pour vous accompagner et vous fournir une information toujours plus riche, Techniques de l'Ingénieur s'associe au Réseau National des Écoles Doctorales - Sciences...