seL4 International

L'objet de l'association est la conception, le développement et la mise en œuvre de logiciels open-source fiables ainsi que les preuves formelles, mathématiques, qui leur sont associées, avec un accent principal sur la conception, le développement et la mise en œuvre du microkernel seL4 ainsi que les preuves, les frameworks, les outils, les langages, les composants et les systèmes qui lui sont associés, conformément aux dispositions des présents statuts. L'association est à but non lucratif. L'association est politiquement neutre.