Separata: Isabelle tactics for Separation Algebra by Zhe Hou, David Sanan, Alwen Tiu, Rajeev Gore and Ranald Clouston Nov 16
A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor by Zhe Hou, David Sanan, Alwen Tiu and Yang Liu Oct 19