seL4 International
AssociationActive
Company Overview
Swiss UID, VAT number:
CHE-276.739.771
Date of incorporation:
11/5/2025
Location:
Küsnacht (ZH)
Office:
Küsnacht (ZH)
Legal Form:
Association
Management
Building smart people network graph...
Fetching people and their companies
SOGC Notifications
| No. | Journal No. | Journal date | SOGC | SOGC date | Page / ID |
|---|---|---|---|---|---|
| 1 | 49559 | 05.11.2025 | 217 | 10.11.2025 | 1006479525 |
Company 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 ist gemeinnützig. Der Verein ist politisch neutral.