Author

J. Dubray

h-index 5 View on Semantic Scholar

We have 2 of 15 papers

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.

Jul 2026

Executable JavaScript as a Checkable Specification Language: A JS-SAM Case Study on SysMoBench

Can large language models write faithful formal specifications of real systems, and does it matter whether they write in a formal language they have seen rarely or in a mainstream language abundant in their training data? We study this on SysMoBench, which grades a generated specification in four phases, the decisive o...

J. Dubray · arXiv.org · 0 citations

Jul 2026

Can Code Specify a System Precisely Enough to Formally Verify It?

Evaluating the payment workflow of an operational restaurant point-of-sale system, which must keep the register, payment terminal, and payment processor in agreement, finds the core protocol is correct relative to a hand-built, line-cited model under a precisely stated failure model.

J. Dubray · arXiv.org · 1 citation