Secure Software and Formal Methods
Posted Nov 2, 2011 11:18 UTC (Wed) by abacus
In reply to: The embedded long-term support initiative
Parent article: The embedded long-term support initiative
As far as I know formal methods are fine for functional specifications. I'm still waiting for a formal specification of a secure operating system though.
See e.g. Gerwin Klein e.a., seL4: formal verification of an operating-system kernel, Communications of the ACM, Volume 53 Issue 6, June 2010.
to post comments)