Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
Article
Jun 3 '13
Developing Secure Code Using SPARK
Published in Embedded.com
by Ben Brosgol
This two-part article discusses
the benefits
of developing code with automated static analysis, and then
shows examples
of doing so, using SPARK.
Continue Reading
Tags
Formal Verification
SPARK
Static Analysis
Article
Aug 14 '06
Mathematical approaches to managing defects
Published in The Register
by David Norfolk and Pan Pantziarka
In this article by David Norfolk and Pan Pantziarka, the authors look at the increasing use of Formal Methods and the Correctness by Construction process championed by Altran Praxis.
Continue Reading
Tags
Formal Methods
Formal Verification
SPARK
Press
Articles
Events
Filter by Tags
Ada 2005
Ada 2012
Ada 95
Ada Lovelace
Charles Babbage
contract-based programming
DO-178C
Embedded/Real-time
Formal Methods
Formal Verification
Multicore
Safety
Security
software design
SPARK
Static Analysis
ARA Sponsor Spotlight
View All Sponsors