Dailydave mailing list archives
[ proof checking ] [ safer software ] [???]
From: Arun Koshy <arunkoshy () gmail com>
Date: Sat, 15 Aug 2009 14:41:48 +1000
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
Current thread:
- [ proof checking ] [ safer software ] [???] Arun Koshy (Aug 16)
- Re: [ proof checking ] [ safer software ] [???] Shane Macaulay (Aug 26)
- Re: [ proof checking ] [ safer software ] [???] nnp (Aug 26)
- Re: [ proof checking ] [ safer software ] [???] Shane Macaulay (Aug 26)