Login / Signup
Translation Validation of Transformations of Embedded System Specifications Using Equivalence Checking.
Kunal Banerjee
Chittaranjan A. Mandal
Dipankar Sarkar
Published in:
ISVLSI (2015)
Keyphrases
</>
machine translation
cross language information retrieval
high level
delay insensitive
case study
language model
formal specification
query translation
operational semantics
machine translation system
search engine
natural language processing
datalog programs
consistency checking
design requirements