Extending concurrent separation logic to the hardware level to verify the xv6 OS

 (arxiv.org)

1 points | by mday404 7 hours ago ago

No comments yet.