Can ChatGPT support software verification?

Christian Janßen Cedric Richter Heike Wehrheim

Published in: CoRR (2023)

Keyphrases

decision making
expert systems
probabilistic model
website
multiscale
cooperative
artificial neural networks
learning process
wireless sensor networks
end users