From Natural Language to Monitors via LLM-Assisted Disambiguation ⋆
Itay Cohen, Klaus Havelund, Doron A. Peled et al.
· 1 citation
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Prove : A Runtime Monitor of Linear Temporal Properties over Partial Order Executions
The experiments show that the clock-skew bound can dramatically reduce the explored state space and, in some cases, change the verdict by eliminating otherwise possible linearizations.
Moran Omer, Doron A. Peled, Borzoo Bonakdaropur et al.
· 0 citations