[SystemSafety] systemsafety Digest, Vol 44, Issue 30

[Roderick Chapman]

David,
  Thanks for your thoughts.

On 22/03/2016 11:00, systemsafety-request at lists.techfak.uni-bielefeld.de 
wrote:
> Do you have such figures for SPARK?

The best summary of SPARK projects is in our keynote paper from
ITP 2014.  It's in LNCS Vol 8558 if you have access, or PDF is at
www.proteancode.com/keynote.pdf

That refers to most of the significant projects, including SHOLIS,
C130J, Tokeneer, iFACTS, SPARKSkein, and so on.  There's also
good data on the C130J in Andy German's article in CrossTalk,
and in Jim Sutton's "Lean Software Strategies" book.

Oh...there's also the MULTOS CA project - the data is in IEEE
Software, Jan/Feb 2002.
  - Rod