How about https://en.wikipedia.org/wiki/SPARK_(programming_language) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		erpellan 8 months ago \| parent \| context \| favorite \| on: Formal Methods: Just Good Engineering Practice? (2... How about https://en.wikipedia.org/wiki/SPARK_(programming_language)

MaxBarraclough 8 months ago | [–]

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

lolinder 8 months ago | [–]

Ada is terminally underappreciated.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact