Author:
Cavezza Davide Giacomo,Alrajeh Dalal,György András
Publisher
Springer International Publishing
Reference43 articles.
1. https://gitlab.doc.ic.ac.uk/dgc14/WeakestAssumptions
2. Albarghouthi, A., Dillig, I., Gurfinkel, A.: Maximal specification synthesis. ACM SIGPLAN Notices 51(1), 789–801 (2016)
3. Lecture Notes in Computer Science;S Almagor,2013
4. Alur, R., Moarref, S., Topcu, U.: Counter-strategy guided refinement of GR(1) temporal logic specifications. In: Formal Methods in Computer-Aided Design, pp. 26–33 (2013)
5. Lecture Notes in Computer Science;R Alur,2015
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
2. Unrealizable Cores for Reactive Systems Specifications;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05
3. A Weakness Measure for GR(1) Formulae;Formal Aspects of Computing;2021-01
4. Inherent vacuity for GR(1) specifications;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07
5. Minimal Assumptions Refinement for Realizable Specifications;Proceedings of the 8th International Conference on Formal Methods in Software Engineering;2020-09-12