[ 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 ?
_______________________________________________
Dailydave mailing list
Dailydave () lists immunitysec com
http://lists.immunitysec.com/mailman/listinfo/dailydave