28 Sep
2014
28 Sep
'14
3:33 a.m.
On 27 September 2014 22:59, Paul Koning <paulkoning at comcast.net> wrote:
Then I found out about a real-time OS that was
evaluated under the Common Criteria security standards to EAL 7 (the highest level), a
year or two ago. Take a look at what the description for that level says; it?s pretty
close to proof of correctness, perhaps the actual thing. And that was for a commercial
product with real world applications.
Name? Company? Any kind of a clue at all?
--
Liam Proven ? Profile: http://lproven.livejournal.com/profile
Email: lproven at cix.co.uk ? GMail/G+/Twitter/Flickr/Facebook: lproven
MSN: lproven at hotmail.com ? Skype/AIM/Yahoo/LinkedIn: liamproven
Cell/Mobiles: +44 7939-087884 (UK) ? +420 702 829 053 (?R)