ranQ
ranQ
ranQ
ElencoSettoriLuoghiSapereConfrontiPresto
AccediVerifica la visibilità
ranQHSG Startup LabelRiconosciuto dall’
HSG Startup Label

Il principale elenco di aziende IA, sviluppato per aumentare la visibilità nell’IA.

DEENFRIT
Prodotto
  • Prezzi
  • Elenco
  • Settori
  • Trust Score
Azienda
  • Chi siamo
  • Contatto
  • Note legali
© 2026 cohaga AG · Tutti i diritti riservati · San Gallo, Svizzera · Colofone745'629 aziende indicizzate · Ultimo aggiornamento: oggi
ElencoAssociazioni & organizzazioni di interesseONG & Organizzazioni No ProfitKüsnacht ZhseL4 International
seL4 International Logo
Verificato· 2 fontiTrust Score
Riepilogo

Sull'azienda

seL4 International è un’organizzazione incentrata sul microkernel seL4, un kernel di sistema operativo formalmente verificato. Il sito აღწive lo sviluppo, la verifica, la documentazione, l’uso e l’ecosistema di seL4, oltre ai servizi di supporto comunitario e commerciale.

Generato dall’IA
Offerta

Prodotti e servizi

Settore:ONG & Organizzazioni No ProfitRicerca & Sviluppo
LeadhubOutbound Leads by COHAGA

Cerchi indirizzi e-mail e numeri di telefono diretti?

Leadhub fornisce contatti verificati e referenti di oltre 750’000 aziende svizzere — direzione, acquisti, marketing, HR.

Scopri Leadhub
Ancora nessun valore

seL4 International

Club di scienza e tecnologia
Sviluppo Software
✓ Offerto5
Microkernel verificato (seL4)
Microkernel di sistema operativo verificato per sistemi critici, con verifica matematica formale, forte isolamento, comunicazione controllata e supporto alle piattaforme.
Verifica formale
Sviluppo di prove formali per il kernel seL4 e componenti associati, con prove di sicurezza, integrità e riservatezza e implicazioni per la certificazione.
Documentazione e materiali formativi
Manuali, tutorial, documentazione, white paper, scheda informativa, FAQ e materiali per usare seL4 e sviluppare sistemi su di esso.
Fondazione open source e governance
Coordinamento, direzione e standardizzazione dell’ecosistema seL4 tramite Foundation, Board e Technical Steering Committee, oltre a adesione e documenti di governance.
Supporto commerciale per seL4
Supporto commerciale, consulenza e assistenza allo sviluppo tramite fornitori approvati per kernel, port di piattaforma, componenti di sistema operativo, applicazioni e verifica.
Fiducia & reputazione

ranQ Trust Score di seL4 International

Trust Score

Ancora nessun valore

x

Per un valore pubblicato servono una base dati di almeno 50 % e dati da almeno due gruppi di criteri oltre all’identità. Prove mancanti: Qualità delle recensioni, Volume di recensioni, Attualità delle recensioni, Autorevolezza del sito web, Autorevolezza mediatica

Base dati 50 % · Stato al ottobre 2026

seL4 International non ottiene alcun valore nell’ambito Reputazione del ranQ Trust Score perché non ci sono dati. L’ambito pesa per il 42 % della ponderazione ed è escluso dal calcolo per questo profilo; non abbassa il punteggio, ma solo la base dati indicata.
x
CriterioValorePeso
  • Qualità delle recensioni: Nessun dato — il criterio è escluso dalla ponderazione e non abbassa il punteggio.—24 %
  • Volume di recensioni: Nessun dato — il criterio è escluso dalla ponderazione e non abbassa il punteggio.—10 %
  • Attualità delle recensioni: Nessun dato — il criterio è escluso dalla ponderazione e non abbassa il punteggio.—8 %
seL4 International ottiene 47,6 punti su 100 nell’ambito Solidità del ranQ Trust Score. Questo ambito pesa per il 28 % della ponderazione.
x
CriterioValorePeso
  • Consolidamento: Anni dalla fondazione o dal lancio del marchio, in scala logaritmica. Il massimo si raggiunge a 15 anni.25,012 %
  • Dimensioni aziendali: La fascia di collaboratori, ricercata da ranQ o indicata dall’azienda. La valutazione avviene per livelli anziché per numero esatto, perché i dati forniscono solo fasce.55,07 %
seL4 International ottiene 83,3 punti su 100 nell’ambito Identità del ranQ Trust Score. Questo ambito pesa per il 22 % della ponderazione.
x
CriterioValorePeso
  • Verifica: Iscrizione a un registro ufficiale (registro di commercio con IDI o attestazione professionale, 55 punti), dominio confermato (20 punti) e profilo ranQ confermato (fino a 25 punti a seconda della completezza).83,322 %
seL4 International non ottiene alcun valore nell’ambito Visibilità del ranQ Trust Score perché non ci sono dati. L’ambito pesa per il 8 % della ponderazione ed è escluso dal calcolo per questo profilo; non abbassa il punteggio, ma solo la base dati indicata.
x
CriterioValorePeso
  • Autorevolezza del sito web: Nessun dato — il criterio è escluso dalla ponderazione e non abbassa il punteggio.—4 %
  • Autorevolezza mediatica: Nessun dato — il criterio è escluso dalla ponderazione e non abbassa il punteggio.—4 %

La base dati è del 50 %, sotto la soglia a partire dalla quale ranQ pubblica un valore. Mancano prove per: Qualità delle recensioni, Volume di recensioni, Attualità delle recensioni, Autorevolezza del sito web, Autorevolezza mediatica. Stato al ottobre 2026.

Il Trust Score non si può acquistare e si calcola da dati verificabili pubblicamente.

Sapere

Ancora nessun articolo

Non appena seL4 International avrà rivendicato questo profilo, pubblicheremo qui insieme articoli editoriali e case study.

Inizia
Confronti

seL4 International a confronto

Presto

I confronti di settore arriveranno presto

Stiamo preparando confronti di settore che classificano seL4 International per recensioni, esperienza e specializzazioni.

È la tua azienda?

Rivendica il profilo di seL4 International per rendere visibili i recapiti. Con un piano creiamo e pubblichiamo inoltre confronti di settore, articoli e molto altro.

Assicura il profilo

Sede

Hier entsteht die Karte
Seestrasse 39
8700 Küsnacht Zh

A colpo d’occhio

Forma giuridica
Associazione
IDI
CHE-276.739.771
Fondata
2025 · 1 anno
Ultima modifica al RC
5 giugno 2026
Dipendenti
1 a 10
  • Forma giuridica: Graduata secondo responsabilità e pubblicità. Il peso è contenuto: una ditta individuale non è un’azienda poco seria, risponde solo in modo diverso.73,06 %
  • Succursali: Succursali collegate nel registro di commercio. Non averne è la norma e non costa punti.70,03 %
    • Metodologia completa

    Aziende simili

    SO
    Stiftung OVOLPE
    Küsnacht Zh
    VR
    Verein revamp-it
    Zurigo
    F&
    FMF & AID Global Association
    Brüttisellen
    HO
    Haus of Kaisers
    Zurigo
    TS
    The Swiss Food Collective
    Dübendorf
    AF
    Arco Foundation
    Winterthur
    FT
    Fred Tschanz - Stiftung
    Zurigo
    FD
    Fondation des Fondateurs
    Zurigo