Formal Verification | Shinagawa Laboratoryhttps://www.os.is.s.u-tokyo.ac.jp/en/category/formal-verification/Formal VerificationHugo Blox Builder (https://hugoblox.com)en-usTue, 08 Jul 2025 00:00:00 +0000https://www.os.is.s.u-tokyo.ac.jp/media/icon_hu3991700760012411192.pngFormal Verificationhttps://www.os.is.s.u-tokyo.ac.jp/en/category/formal-verification/vRM: Verifying Reference Monitors via Exhaustive Access Pattern Generationhttps://www.os.is.s.u-tokyo.ac.jp/en/publication/conference/2025-compsac-nakashima/Tue, 08 Jul 2025 00:00:00 +0000https://www.os.is.s.u-tokyo.ac.jp/en/publication/conference/2025-compsac-nakashima/