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/

-- Dr. Benny Akesson Postdoctoral Researcher CTU Prague Office: KN:G203 Karlovo Namesti 13 Phone: +420 224 357 595 121 35 Prague 2 Web: http://support.dce.felk.cvut.cz/pub/kessoben/ Czech Republic E-mail: kessoben@fel.cvut.cz