Skip to main content

SSPVerif: Verifying State Separating Proofs
slides-interim-2023-ufmrg-01-sessa-sspverif-verifying-state-separating-proofs-00

Meeting Slides Usable Formal Methods Research Group (ufmrg) RG
Date and time 2023-05-24 15:00
Title SSPVerif: Verifying State Separating Proofs
State Active
Other versions pdf
Last updated 2023-05-24

slides-interim-2023-ufmrg-01-sessa-sspverif-verifying-state-separating-proofs-00
Not available as plain text. Download as PDF.