Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.

Viorel Preoteasa Iulia Dragomir Stavros Tripakis

Published in: VMCAI (2019)

Keyphrases

machine translation
coarse to fine
theorem prover
hierarchical classification
real time
databases
information retrieval
natural language processing
hierarchical representation
uml activity diagrams