Page MenuHomePhabricator

Run RMM and RMMD formal proofs in CI
Open, Needs TriagePublic

Description

RMM and RMMD have been formally verified, as shown in a paper published to Usenix. The proofs should be checked in CI to ensure that they remain valid and are updated as needed.

Event Timeline

DemiMarie created this task.Fri, Jan 6, 6:50 PM