From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET
Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen
2021年份
15被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Unrealizable Cores for Reactive Systems SpecificationsShahar Maoz, Rafi ShalomICSE 2021 · 被引用 2 次
- Dynamic Fuzzing-Based Whole-System Timing AnalysisAlwin Berger, Simon Schuster, Peter Wägemann, Peter UlbrichRTSS 2025 · 被引用 2 次
- Verifying Secure Speculation in Isabelle/HOLMatt Griffin, Brijesh DongolFM 2021 · 被引用 6 次
- Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production HypervisorKayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami 等SOSP 2025
- Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point ReuseSirui Liu, Wei Dong, Yijie Zheng, Haonan GuoOOPSLA 2026
