@techreport{qin:hal-01823507, TITLE = {{Using SMT engine to generate Symbolic Automata -Extended version}}, AUTHOR = {Qin, Xudong and Bliudze, Simon and Madelaine, Eric and Zhang, Min}, URL = {https://inria.hal.science/hal-01823507}, TYPE = {Research Report}, NUMBER = {RR-9177}, INSTITUTION = {{Inria \& Universit{\'e} Cote d'Azur, CNRS, I3S, Sophia Antipolis, France ; inria}}, YEAR = {2018}, MONTH = Jun, KEYWORDS = {Networks of synchronized automata ; Symbolic behavioral semantics ; Compositional analysis of software systems ; S{\'e}mantique comportementale symbolique ; R{\'e}seaux d'automates synchronis{\'e}s ; Analyse compositionelle de logiciels}, PDF = {https://inria.hal.science/hal-01823507/file/RR-9177.pdf}, HAL_ID = {hal-01823507}, HAL_VERSION = {v1}, }