corpus.blog
42,281 blogs · 5,361,753 posts Claim your blog
Record · corpus.blog/posts/01a087bc-579d-71a8-b8fa-9abf0ad21ae4

Merlin OS: Building Trust in RISC OS Merlin with Formal Verification Methods

paolozaino.wordpress.com · published 8 August 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at paolozaino.wordpress.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
23
Words captured
1,894

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Operating_system
en.wikipedia.org
https://en.wikipedia.org/wiki/Race_condition
en.wikipedia.org
https://en.wikipedia.org/wiki/Booting
en.wikipedia.org
https://en.wikipedia.org/wiki/Memory_corruption
en.wikipedia.org
https://en.wikipedia.org/wiki/User_space_and_kernel_space
en.wikipedia.org
https://model-checking.github.io/kani/
model-checking.github.io
https://en.wikipedia.org/wiki/Kernel_(operating_system
en.wikipedia.org
https://en.wikipedia.org/wiki/RISC_OS
en.wikipedia.org
https://en.wikipedia.org/wiki/Loadable_kernel_module
en.wikipedia.org
https://en.wikipedia.org/wiki/OS/2
en.wikipedia.org
https://en.wikipedia.org/wiki/Microsoft_Windows
en.wikipedia.org
https://en.wikipedia.org/wiki/Rust_(programming_language
en.wikipedia.org
https://en.wikipedia.org/wiki/C_(programming_language
en.wikipedia.org
https://en.wikipedia.org/wiki/Symmetric_multiprocessing
en.wikipedia.org
https://en.wikipedia.org/wiki/Application_binary_interface
en.wikipedia.org
https://groups.google.com/g/mechanical-sympathy/c/QbmpZxp6C64?pli=1
groups.google.com
https://msrc.microsoft.com/blog/2008/10/ms08-061-the-case-of-the-kernel-mode-double-fetch/
msrc.microsoft.com
https://proptest-rs.github.io/proptest/intro.html
proptest-rs.github.io
https://en.wikipedia.org/wiki/Foreign_function_interface
en.wikipedia.org
https://docs.rs/proptest/
docs.rs
https://sel4.systems/Verification/
sel4.systems
https://doc.rust-lang.org/nomicon/ffi.html
doc.rust-lang.org
https://link.springer.com/conference/fm
link.springer.com
Elsewhere on paolozaino.wordpress.com (4)