Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation
Himaja Cherukuri, Alessio Ferrari, Paola Spoletini
Topics & Concepts
Computer sciencePrincipal (computer security)Machine translationNatural languageArtificial intelligenceLinear temporal logicContext (archaeology)Process (computing)Bridging (networking)Formal methodsTemporal logicNatural language processingMachine learningProgramming languageBiologyComputer networkPaleontologyOperating systemSoftware Engineering ResearchAdvanced Software Engineering MethodologiesModel-Driven Software Engineering Techniques