Login / Signup

Integration of modeling and verification for system model based on KARMA language.

Jie DingMichel A. ReniersJinzhi LuGuoxin WangLei FengDimitris Kiritsis
Published in: DSM@SPLASH (2021)
Keyphrases
  • modeling language
  • language learning
  • data integration
  • colored petri nets
  • machine learning
  • artificial intelligence
  • model checking
  • language processing
  • target language
  • modeling method
  • operational semantics