Efficient SMT-Based Model Checking for Signal Temporal Logic

Jia Lee, Geunyeol Yu, Kyungmin Bae. Efficient SMT-Based Model Checking for Signal Temporal Logic. In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021. pages 343-354, IEEE, 2021. [doi]

Abstract

Abstract is missing.