All Stories

  1. Ironclad: A Formally Verified OS Kernel Written in SPARK/Ada

    Article • ACM SIGAda Ada Letters, May 2025, ACM (Association for Computing Machinery)

    Cristian Simon