Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET
Authors: Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger and Johann Schumann
Paper Information
| Title: | Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET |
| Authors: | Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger and Johann Schumann |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Realizability Checking, Requirements Analysis, Formal Methods |
| Pages: | 13 |
| Talk: | Aug 10 16:40 (Session 116A: Synthesis and Concurrency) |
| Paper: |  |