executable specifications 1formal verification 1javascript 1large language models 1system modeling 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.PL2026
Executable JavaScript as a Checkable Specification Language: A JS-SAM Case Study on SysMoBench
Jean-Jacques Dubray
The paper evaluates whether large language models can generate faithful executable specifications in JavaScript (JS‑SAM) compared to formal TLA+ specifications, using the SysMoBenc…
cs.SE2026
Can Code Specify a System Precisely Enough to Formally Verify It?
Jean-Jacques Dubray
Formal verification is seldom applied to production software, because writing and maintaining a model has historically cost more than it returns. A companion study [1] extended Sys…