← back to paper

Review history

arxiv: 2607.25333 · 2 revisions

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

1. 2026-08-04 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 7.0
   226429 ms 23626 in 16421 out 2026-08-04T03:25:46.892422+00:00
2. 2026-08-01 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 7.0
   101385 ms 23608 in 9648 out 2026-08-01T02:43:18.171142+00:00