* ANN: Praxis and SPARK cited in NCSP Software Security Report
@ 2004-04-05 15:00 Rod Chapman
0 siblings, 0 replies; only message in thread
From: Rod Chapman @ 2004-04-05 15:00 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2004-04-05 15:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-04-05 15:00 ANN: Praxis and SPARK cited in NCSP Software Security Report Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox