ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

On using large language models pre-trained on digital twins as oracles to foster the use of formal methods in practice

Time: Sunday, 27.10

Room: Room 2

Authors: Serge Autexier

Abstract: