|
Neohapsis is currently accepting applications for employment. For more information, please visit our website www.neohapsis.com or email hr@neohapsis.com |
[Dailydave] [ proof checking ] [ safer software ] [???]
From: Arun Koshy (arunkoshy
gmail.com)
Date: Fri Aug 14 2009 - 23:41:48 CDT
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
Dailydavelists.immunitysec.com
http://lists.immunitysec.com/mailman/listinfo/dailydave
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]