Login / Signup
Combining formal and machine learning techniques for the generation of JML specifications.
Armand Puccetti
Gaël de Chalendar
Pierre-Yves Gibello
Published in:
FTfJP@ECOOP (2021)
Keyphrases
</>
formal specification
formal language
machine learning
operational semantics
formal model
decision trees
knowledge representation
machine learning methods
specification language
reactive systems
requirements specification
data sets
artificial neural networks
formal methods
generation process
delay insensitive