ANZENLANG

Objet social

Toutes activités de recherches et développement en sûreté logicielle, théorie des langages de programmation, méthodes formelles et vérification statique; focalisation sur les langages de programmation "Lean 4" et "Rust", les systèmes embarqués critiques et ce particulièrement dans le contexte de partenariats avec des universitaires et des équipes de recherche et développement industrielles. Les activités incluent conseil et audit de base de code et de processus de développement logiciel, implémentation d'outils de vérification sur mesure, preuve formelles de programmes et de théorèmes, ainsi que formations aux langages "Lean 4" et "Rust" et aux méthodes formelles en général.

Activité