notes/science/proof/tla/samples.txt

зеркало из https://github.com/iharh/notes.git synced 2025-10-29 12:46:06 +02:00
https://jack-vanlightly.com/blog/2019/1/27/building-a-simple-distributed-system-formal-verification
http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/
	`https://jack-vanlightly.com/blog/2019/1/27/building-a-simple-distributed-system-formal-verification`
	`http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/`