ranQ
ranQ
ranQ
AnnuaireSecteursLieuxSavoirComparaisonsBientôt
Se connecterVérifier la visibilité
ranQHSG Startup LabelReconnu par le
HSG Startup Label

Le principal annuaire d’entreprises IA, conçu pour renforcer la visibilité dans l’IA.

DEENFRIT
Produit
  • Tarifs
  • Annuaire
  • Secteurs
  • Trust Score
Entreprise
  • À propos
  • Contact
  • Mentions juridiques
© 2026 cohaga AG · Tous droits réservés · Saint-Gall, Suisse · Mentions légales745'629 entreprises indexées · Dernière mise à jour : aujourd’hui
AnnuaireAssociations & organisations d'intérêtONG & OSBLKüsnacht ZhseL4 International
seL4 International Logo
Vérifié· 2 sourcesTrust Score
Résumé

À propos de l'entreprise

seL4 International est une organisation centrée sur le micro-noyau seL4, un noyau de système d’exploitation formellement vérifié. Le site présente le développement, la vérification, la documentation, l’utilisation et l’écosystème seL4, ainsi que des offres de soutien communautaire et commercial.

Généré par IA
Offre

Produits et prestations

Secteur :ONG & OSBLRecherche & Développement
LeadhubOutbound Leads by COHAGA

Vous cherchez des adresses e-mail et des numéros de téléphone directs ?

Leadhub fournit des coordonnées vérifiées et des interlocuteurs de plus de 750 000 entreprises suisses — direction, achats, marketing, RH.

Découvrir Leadhub
Pas encore de note

seL4 International

Clubs de science et technologie
Développement de Logiciels
✓ Proposé5
Micro-noyau vérifié (seL4)
Micro-noyau de système d’exploitation vérifié pour systèmes critiques, avec vérification mathématique formelle, forte isolation, communication contrôlée et support de plateformes.
Vérification formelle
Développement de preuves formelles pour le noyau seL4 et les composants associés, avec preuves de sécurité, d’intégrité et de confidentialité, ainsi que des implications pour la certification.
Documentation et supports d’apprentissage
Manuels, tutoriels, documentation, livre blanc, fiche d’information, FAQ et supports pour utiliser seL4 et développer des systèmes dessus.
Fondation open source et gouvernance
Coordination, pilotage et normalisation de l’écosystème seL4 par la Fondation, le board et le Technical Steering Committee, avec adhésion et documents de gouvernance.
Support commercial pour seL4
Support commercial, conseil et appui au développement via des prestataires reconnus pour le noyau, les ports de plateforme, les composants système, les applications et la vérification.
Confiance & réputation

ranQ Trust Score de seL4 International

Trust Score

Pas encore de note

x

Une note publiée exige une base de données d’au moins 50 % et des données d’au moins deux groupes de critères hors identité. Justificatifs manquants : Qualité des avis, Volume d’avis, Actualité des avis, Autorité du site web, Autorité médiatique

Base de données 50 % · État au octobre 2026

seL4 International n’obtient aucune valeur dans le domaine Réputation du ranQ Trust Score, faute de données. Ce domaine représente 42 % de la pondération et sort du calcul pour ce profil ; il ne fait pas baisser la note, seulement la base de données indiquée.
x
CritèreValeurPoids
  • Qualité des avis: Aucune donnée — le critère est retiré de la pondération et ne fait pas baisser la note.—24 %
  • Volume d’avis: Aucune donnée — le critère est retiré de la pondération et ne fait pas baisser la note.—10 %
  • Actualité des avis: Aucune donnée — le critère est retiré de la pondération et ne fait pas baisser la note.—8 %
seL4 International obtient 47,6 points sur 100 dans le domaine Substance du ranQ Trust Score. Ce domaine représente 28 % de la pondération.
x
CritèreValeurPoids
  • Ancienneté: Années depuis la fondation ou le lancement de la marque, de manière logarithmique. Le maximum est atteint à 15 ans.25,012 %
  • Taille de l’entreprise: La tranche d’effectif, recherchée par ranQ ou indiquée par l’entreprise. L’évaluation se fait par paliers plutôt que par effectif exact, car les données ne fournissent que des tranches.55,07 %
seL4 International obtient 83,3 points sur 100 dans le domaine Identité du ranQ Trust Score. Ce domaine représente 22 % de la pondération.
x
CritèreValeurPoids
  • Vérification: Inscription à un registre officiel (registre du commerce avec IDE ou attestation professionnelle, 55 points), domaine confirmé (20 points) et profil ranQ confirmé (jusqu’à 25 points selon l’exhaustivité).83,322 %
seL4 International n’obtient aucune valeur dans le domaine Visibilité du ranQ Trust Score, faute de données. Ce domaine représente 8 % de la pondération et sort du calcul pour ce profil ; il ne fait pas baisser la note, seulement la base de données indiquée.
x
CritèreValeurPoids
  • Autorité du site web: Aucune donnée — le critère est retiré de la pondération et ne fait pas baisser la note.—4 %
  • Autorité médiatique: Aucune donnée — le critère est retiré de la pondération et ne fait pas baisser la note.—4 %

La base de données s’élève à 50 %, en dessous du seuil à partir duquel ranQ publie une note. Il manque des justificatifs pour : Qualité des avis, Volume d’avis, Actualité des avis, Autorité du site web, Autorité médiatique. État au octobre 2026.

Le Trust Score ne s’achète pas et se calcule à partir de données publiquement vérifiables.

Savoir

Aucun article pour l’instant

Dès que seL4 International aura revendiqué ce profil, nous publierons ici ensemble des articles éditoriaux et des études de cas.

Commencer
Comparaisons

seL4 International en comparaison

Bientôt

Les comparaisons sectorielles arrivent bientôt

Nous préparons des comparaisons sectorielles qui classent seL4 International selon les avis, l’expérience et les spécialisations.

Est-ce votre entreprise ?

Revendiquez le profil de seL4 International pour rendre ses coordonnées visibles. Avec un abonnement, nous créons et publions en plus des comparatifs sectoriels, des articles et bien plus encore.

Sécuriser le profil

Emplacement

Hier entsteht die Karte
Seestrasse 39
8700 Küsnacht Zh

En un coup d’œil

Forme juridique
Association
IDE
CHE-276.739.771
Fondée
2025 · 1 an
Dernière modification au RC
5 juin 2026
Effectif
1 à 10
  • Forme juridique: Graduée selon la responsabilité et la publicité. Le poids reste faible : une entreprise individuelle n’est pas une entreprise douteuse, elle répond simplement autrement.73,06 %
  • Succursales: Succursales liées au registre du commerce. N’en avoir aucune est la norme et ne coûte aucun point.70,03 %
    • Méthodologie complète

    Entreprises similaires

    VR
    Verein revamp-it
    Zurich
    HO
    Haus of Kaisers
    Zurich
    PF
    Progress Foundation
    Zurich
    FT
    Fred Tschanz - Stiftung
    Zurich
    AF
    Arco Foundation
    Winterthur
    FD
    Fondation des Fondateurs
    Zurich
    SF
    Schulthess'sche Familienstiftung
    Zurich
    SC
    Stiftung Corymbo
    Zurich