Fundamental Approaches to Software Engineering

Overview of attention for book

Springer Nature Switzerland

Attention for Chapter 13: Can ChatGPT support software verification?

Altmetric Badge

Mentioned by

So far, Altmetric has seen 6 X posts from 6 X users, with an upper bound of 1,477 followers.

RT @SecoperaP: Can LLM help formal software verification? Researchers from Oldenburg University present their work on using ChatGPT to gene…

RT @SecoperaP: Can LLM help formal software verification? Researchers from Oldenburg University present their work on using ChatGPT to gene…

RT @SecoperaP: Can LLM help formal software verification? Researchers from Oldenburg University present their work on using ChatGPT to gene…

RT @SecoperaP: Can LLM help formal software verification? Researchers from Oldenburg University present their work on using ChatGPT to gene…

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 2 additional X posts.