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

Min Zhang, Frdric Mallet, Huibiao Zhu

Browse the full ICFEM paper archive.