Hacker News
- Using TLA+ to Understand Xen Vchan http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ 12 comments
Lobsters
- Using TLA+ to understand Xen vchan http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ 4 comments formalmethods , virtualization
Linked pages
- Qubes OS: A reasonably secure operating system | Qubes OS https://www.qubes-os.org/ 480 comments
- A Unikernel Firewall for QubesOS - Thomas Leonard's blog http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 41 comments
- The TLA+ Home Page http://lamport.azurewebsites.net/tla/tla.html 32 comments
- Specifying Systems https://lamport.azurewebsites.net/tla/book.html 0 comments
- TLA+ Proof System https://tla.msr-inria.inria.fr/tlaps/content/Home.html 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:roscidus.com
Search title: Using TLA+ to understand Xen vchan - Thomas Leonard's blog
See how to search.