An SMT-Based Approach to the Formal Analysis of MARTE/CCSL.

Min Zhang Frédéric Mallet Huibiao Zhu

Published in: ICFEM (2016)

Keyphrases

formal analysis
formal methods
agent model
ban logic
information extraction
statistical machine translation
database
artificial intelligence
knowledge acquisition
word alignment