model checking — 3 Technical Articles

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.

ConsistencyJepsenLinearizability

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