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.
Share and Enjoy:
Continue Reading
Tags
Formal Verification
SPARK
Static Analysis
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors
Upcoming Events
Ada-Europe 2024
Jun 11-14, 2024
Barcelona, Spain
View All Events