Tagged articles

model checking

4 articles · Page 1 of 1

Aug 26, 2026 · Artificial Intelligence

Specula Finds 382 Deep Bugs in 67 Projects, Reducing Formal Verification to Hours

Specula, an AI‑driven tool, automatically reads code, documentation, tests and history to generate TLA+ models, runs model checking, and reproduces counterexamples as tests, uncovering 382 deep concurrency bugs across 67 open‑source systems and shrinking verification time from months to a few hours.

AI coding agentsFormal VerificationSpecula

0 likes · 11 min read

Specula Finds 382 Deep Bugs in 67 Projects, Reducing Formal Verification to Hours

Alibaba Cloud Developer

Oct 26, 2021 · Fundamentals

Jepsen Uncovered: A Practical Guide to Linearizability Testing

This article explains the fundamentals of Jepsen testing, compares it with TLA+, describes its architecture and workflow, illustrates how to apply Jepsen for linearizability verification of distributed systems such as locks, and offers practical guidance on integrating Jepsen or building custom testing frameworks.

JepsenLinearizabilityconsistency

0 likes · 17 min read

Jepsen Uncovered: A Practical Guide to Linearizability Testing

21CTO

Dec 28, 2020 · Game Development

Remembering DirectX Pioneer Eric Engstrom and Turing Laureate Edmund Clarke

The article commemorates the unexpected passing of DirectX co‑creator Eric Engstrom and the COVID‑19 death of Turing Award winner Edmund M. Clarke, highlighting their seminal contributions to Windows game development and model‑checking verification techniques that continue to shape modern computing.

DirectXTuring Awardcomputer history

0 likes · 5 min read

Remembering DirectX Pioneer Eric Engstrom and Turing Laureate Edmund Clarke

Programmer DD

Dec 25, 2020 · Fundamentals

Remembering Edmund M. Clarke: The Pioneer Who Revolutionized Model Checking

The article commemorates the passing of Turing Award laureate Edmund M. Clarke, detailing his pioneering work on model checking, his distinguished academic career at Carnegie Mellon, numerous honors, and the lasting impact of his formal verification methods on both hardware and software engineering.

Edmund ClarkeTuring Awardcomputer science

0 likes · 6 min read

Remembering Edmund M. Clarke: The Pioneer Who Revolutionized Model Checking