Login / Signup

Verifying OCL Operational Contracts via SMT-based Synthesising.

Hao WuJoseph Timoney
Published in: MODELSWARD (2020)
Keyphrases
  • statistical machine translation
  • decision making
  • supply chain
  • test cases
  • model checking
  • metamodel
  • constraint language
  • database
  • modeling language
  • uml class diagrams
  • web services
  • probabilistic model
  • logic programs