# Méthodes formelles

de modélisation et leur analyse à l’aide de méthodes formelles. Les protocoles cryptographiques... de méthodes formelles a désormais fait ses preuves pour la détection de faille et la preuve de [...]

humaines. Pour augmenter le degré de confiance en ces systèmes, plusieurs méthodes formelles... 'un environnement non prévu. Des méthodes de vérifications formelles peuvent être mises en œuvre pour [...]

Cet article traite de la synthèse de contrôleurs pour des systèmes non linéaires soumis à des contraintes sur les états et la commande et à des perturbations bornées, et pour des spécifications telles que la sûreté, l’atteignabilité ou des propriétés plus [...]

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...