Re: [Reading-group] Next Reading-group: 1st of November

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/