From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: ANN: Praxis and SPARK cited in NCSP Software Security Report
Date: 5 Apr 2004 08:00:55 -0700
Date: 2004-04-05T08:00:55-07:00 [thread overview]
Message-ID: <cf2c6063.0404050700.278a6ffc@posting.google.com> (raw)
Those of you interested in Ada-related ammunition and news might
be interested in the recent National Cyber Security Partnership
report "Security Across the Software Development Life Cycle" here:
http://www.cyberpartnership.org/init-soft.html
The report cites Praxis Critical Systems' "Correctness by Construction"
(of which Ada and SPARK are a big part) software process as one of
very few that can deliver the quality and defect rate needed for
present and future secure systems.
The Appendix to the report also includes our full "Correctness by
Construction" paper, and metrics for various projects, 4 of which
(all except CDIS) are (or include) SPARK to some extent.
All the best,
Rod Chapman, SPARK Team, Praxis Critical Systems
reply other threads:[~2004-04-05 15:00 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox