Jingqi Chen, Jinzhi Lu, Guoxin Wang 0001, Lei Feng, Dimitris Kiritsis. A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories. In IEEE International Systems Conference, SysCon 2022, Montreal, QC, Canada, April 25-28, 2022. pages 1-8, IEEE, 2022. [doi]
Abstract is missing.