this post was submitted on 03 Sep 2025

2 points (100.0% liked)

Ada

58 readers

1 users here now

Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way

founded 4 months ago

MODERATORS

cm0002@programming.dev

cm0002@lemmy.world

2

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK (arxiv.org)

submitted 2 weeks ago by cm0002@lemmy.world to c/adalang@programming.dev

2 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments