Registered Persons (4)
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.
More companies at this address
18 Capital GmbH
LLC Active
2Xideas AG
Ltd Active
Adag Agricultural Development AG
Ltd Active
All-In-One-Plus AG
Ltd Active
ALTENBURGER LTD legal + tax
Ltd Active
Amenti Invest GmbH
LLC Active
Apex - Paval Waldhaus GmbH
LLC Active
Arché Immobilien Schweiz GmbH
LLC Active
B19 Real Estate AG
Ltd Active
Bridging Nations Stiftung
Stift Active
All companies at this address →