n4p · open business facts

seL4 International

Registered as seL4 International (0109)

active · unclaimed · incomplete

Registered address

Coordinates: 47.32697, 8.57449 (geocoded) · OpenStreetMap

Purpose

Der Zweck des Vereins ist die Konzeption, Entwicklung und Implementierung von vertrauenswürdiger open-source Software sowie damit verbundenen formalen, mathematischen Beweisen, mit dem primären Schwerpunkt auf der Konzeption, Entwicklung und Implementierung des seL4 Microkernels sowie damit verbundener Beweise, Frameworks, Werkzeuge, Sprachen, Komponenten und Systeme, in Übereinstimmung mit den Bestimmungen dieser Statuten. Der Verein verfolgt keine kommerziellen Zwecke und erstrebt keinen Gewinn. Der Verein ist gemeinnützig und politisch neutral.

Identifiers

ch.uid

CHE276739771

ch.zefix

1719271

Freshness

Last updated

2026-10-27 15:22 UTC

Completeness

incomplete — missing categories, hours

Days with changes, last 90 days

2

Last change

2026-10-26 04:53 UTC

Fresh until

unknown — an essential field is missing

Suggested revisit

every 14 days (change frequency: weekly)

Sources

• © swisstopo (Amtliches Gebäudeadressverzeichnis)
• Zefix – Zentraler Firmenindex, Eidgenössisches Amt für das Handelsregister (EHRA), https://opendata.swiss/de/dataset/zefix-zentraler-firmenindex

More records in Zürich (ZH)

The n4p compilation and OSM-derived content are licensed under ODbL-1.0 (n4p compilation and OSM-derived content). Other facts remain subject to the source terms listed above. This is not an official register extract and has no legal effect. Objective facts only: no reviews, ratings or marketing text. Freshness and change signals are advisory — revalidate with the ETag before relying on a cached copy.