programming.dev
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
MarcusE1W@lemmy.world to Ada@lemmy.ml · 5 months ago

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

arxiv.org

external-link
message-square
0
link
fedilink
  • cross-posted to:
  • adalang
4
external-link

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

arxiv.org

MarcusE1W@lemmy.world to Ada@lemmy.ml · 5 months ago
message-square
0
link
fedilink
  • cross-posted to:
  • adalang
alert-triangle
You must log in or # to comment.

Ada@lemmy.ml

ada_lang@lemmy.ml

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

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

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 1 user / day
  • 1 user / week
  • 1 user / month
  • 10 users / 6 months
  • 1 local subscriber
  • 122 subscribers
  • 50 Posts
  • 0 Comments
  • Modlog
  • mods:
  • marcuse1w@lemmy.ml
  • BE: 0.19.13
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org