Les langages des systèmes critiques
Nous travaillons dans les langages où le logiciel critique est réellement écrit, et nous contribuons en amont à leurs compilateurs, gestionnaires de paquets et outils de preuve.
Notre expertise par langage
Chaque langage échoue à sa manière. Chaque page détaille ce que nous y faisons, et les outils que nous avons construits pour cela.
Rust
Sûreté mémoire sans ramasse-miettes, pour le logiciel embarqué et à haute performance.
WebAssembly
Une cible portable et cloisonnée que nous utilisons pour l'analyse multi-langages et l'exécution symbolique.
OCaml
Notre langage d'origine : compilateurs, analyse statique et une grande part de l'outillage de l'écosystème.
GnuCOBOL
Compilation COBOL libre pour les charges mainframe, sans licence propriétaire à renouveler.
C
Vérification formelle, exécution symbolique et analyse de sûreté mémoire pour le code C historique.