Ironclad - News
Ironclad @ UC Berkeley's IEEE Meetings
Item posted by Cristian <streaksu> on Fri 04 Apr 2025 09:38:17 AM UTC.
Ironclad will have an online presentation that will cover what we do different when compared with Linux and other prominent FOSS OSes, what makes the project interesting, and it will dig into formal verification, what it is, how we apply it, and what cool things it allows us to do.
The presentation will be held Mon Apr 14 at 11 AM PST at https://meet.jit.si/IroncladIEEEPresentation. See you there!
Powered by Savane 3.15.
Corresponding source code