Dear colleagues; The next reading group will be held on Friday 1st of November at 10 am.
The presented paper will be: seL4: Formal verification of an OS kernel Gerwin Klein et al., NICTA, Sydney, Australia http://www.ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf
Regards; Rosta
Hi!
Attached is the article about Toyota that came up during the discussion.
Regards, Benny
On Mon, Oct 21, 2013 at 5:41 PM, Rostislav Lisovy lisovy@gmail.com wrote:
Dear colleagues; The next reading group will be held on Friday 1st of November at 10 am.
The presented paper will be: seL4: Formal verification of an OS kernel Gerwin Klein et al., NICTA, Sydney, Australia http://www.ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf
Regards; Rosta
reading-group mailing list reading-group@rtime.felk.cvut.cz https://rtime.felk.cvut.cz/reading-group/
reading-group@rtime.felk.cvut.cz
-
Benny Åkesson -
Rostislav Lisovy