Unrealizable Cores for Reactive Systems Specifications: Artifact

2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Year: 2021, Pages: 217-218

Shahar Maoz, Tel Aviv University, Israel
Rafi Shalom, Tel Aviv University, Israel