works on
bug detection 1formal specifications 1large language models 1model checking 1system code 1

From the 1 of 5 linked papers with an AI index.

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

Specula: Scaling formal specifications for autonomous model checking of system code

Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6

Specula is an autonomous system that uses large language model agents to generate TLA+ specifications for complex system code and then applies model checking to discover bugs.