Releases: kth-step/Silver-Pi
Releases · kth-step/Silver-Pi
fmcad23
Release of Silver-Pi definitions and proofs in HOL4 as the artifact for the FMCAD 2023 paper "Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor".