The Power of Reframing: Using LLMs in Synthesizing RV Monitors.

Itay Cohen, Klaus Havelund, Doron Peled, Yoav Goldberg

Browse the full RV paper archive.