News for hackers. Stuff that matters.

A comment on Formal Methods: Just Good Engineering Practice? (2024). Parent comment

Re:Formal Methods: Just Good Engineering Practice? (2024) by erpellan on Friday January 10, 2025 @12:21PM (#42657648)
How about https://en.wikipedia.org/wiki/SPARK_(programming_language)
[ Parent | on HN ]
Re:Formal Methods: Just Good Engineering Practice? (2024) by lolinder on Friday January 10, 2025 @05:00PM (#42660776)
Ada is terminally underappreciated.
[ Parent | on HN ]
Re:Formal Methods: Just Good Engineering Practice? (2024) by MaxBarraclough on Saturday January 11, 2025 @06:16AM (#42665097)
Seconded. Regarding applying SPARK, the Tokeneer case-study is an interesting read. It's self-published by AdaCore.

This summary page links to the full PDF: https://www.adacore.com/tokeneer

[ Parent | on HN ]