Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini +1

Writing temporal logic properties is often a challenging task for users of model-based development frameworks, particularly when translating informal requirements into formal speci…