Specula

mentions 3 type Organization feed RSS

// recent coverage 3 mentions

21:33

2026-08-12

muratbuffalo.blogspot.com

artificial-intelligence

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

Specula, an agentic system developed by researchers, automates software bug finding by deriving TLA+ specifications from code, model-checking them for concurrency bugs, and reproducing bugs at the cod…

23:38

2026-07-30

arxiv.org

artificial-intelligence

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

Specula, a push-button agentic system that uses LLM-based coding agents to autonomously generate TLA+ formal specifications for system code, has found 249 bugs across 48 open-source system projects, i…

20:46

2026-07-15

github.com

developer-tools

Polygraph – Now your tests can't lie

Polygraph, a new Claude Code plugin and standalone CLI, uses LLMs to automatically generate formal models of stateful JavaScript code and exhaustively check every reachable state for rule violations, …

// co-occurs with top 8 entities

MongoDB 2 TLA+ 2 Polygraph 1 Claude Code 1 Emilie Ma 1 SysMoBench 1 etcd-raft 1 Microsoft 1

// topics top 6 topics

ai tools 3 ai agents 3 large language models 2 artificial intelligence 2 ai research 2 developer tools 1