[ proof checking ] [ safer software ] [???]

[Arun Koshy <arunkoshy () gmail com>]

check :

http://ertos.nicta.com.au/research/l4.verified/

media etc :

http://www.theengineer.co.uk/Articles/312631/Safer+software.htm

Of course, the work is based on a set of interesting assumptions and
fairly delimited universe ( given the understandable need to restrict
scope ). Comments anyone ?
_______________________________________________
Fun and Misc security discussion for OT posts.
https://linuxbox.org/cgi-bin/mailman/listinfo/funsec
Note: funsec is a public and open mailing list.