Joel Greenyer, Timo Gutjahr. Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017. pages 312-322, IEEE Computer Society, 2017. [doi]
Abstract is missing.