home.social

#esbmc — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #esbmc, aggregated by home.social.

fetched live
  1. Hacker News @[email protected] ·

    ESBMC-Arduino: Closing the Deployment Gap for Formal Verification

    arxiv.org/abs/2607.08550

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #ESBMC #Arduino #FormalVerification #DeploymentTech #TechForGood

    #hackernews #esbmc #arduino #formalverification #deploymenttech #techforgood
  2. Hacker News @[email protected] ·

    ESBMC-Arduino: Closing the Deployment Gap for Formal Verification

    arxiv.org/abs/2607.08550

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #ESBMC #Arduino #FormalVerification #DeploymentTech #TechForGood

    #hackernews #esbmc #arduino #formalverification #deploymenttech #techforgood