3 Dec
2015
3 Dec
'15
10:40 p.m.
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
3759
Age (days ago)
3765
Last active (days ago)
2 comments
3 participants
participants (3)
-
Gergely Buday -
June Andronick -
Thomas Sewell