Hi there, what should I read if I want to understand the verification of concurrent programs related to the sel4 project?
I have found https://ssrg.nicta.com.au/publications/papers/Daum-phd.pdf https://ssrg.nicta.com.au/publications/papers/Daum_DSW_08.pdf http://ssrg.nicta.com.au/projects/concurrency/ Are there others? Cheers - Gergely
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
