seL4 International
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.
Küsnacht ZH
- Seestrasse 39, 8700 Küsnacht ZH, Schweiz
Werbung in eigener Sache
Digitale Visitenkarte
Lass andere wissen, wann und wie du erreichbar bist und sei so immer ohne Umwege kontaktierbar.
Diese digitale Visitenkarte ist Teil des CardHub-Verzeichnisses und dient der Zugänglichmachung von Handelsregisterdaten. Weitere Informationen zum Unternehmen finden sich im zentralen Firmenindex Zefix.
