felixlinker/ifc-rv-thesis

My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker

语言：TeX · GitHub 星标：4 · Fork：0

话题：formal-methods · formal-verification · information-flow-control · information-flow-tracking · model-checking · nusmv · nuxmv · risc-v

在 GitHub 上查看原仓库