What is Antithesis? How Antithesis works How we're different Problems we solve Security approach
Fintech Blockchain Databases Cloud infrastructure Customer stories Working with Antithesis
Contact us Backstory Leadership Careers Brand
Distributed systems reliability glossary Cost of outages white paper Deterministic simulation testing primer Property-based testing primer Autonomous testing primer Techniques to improve software testing Catalog of reliability properties for blockchains Test ACID-compliance with a Ring test

Blog posts by
Shuxian Wang pic
Shuxian Wang
Senior Engineer, Antithesis

cover image

Formal methods for the unsafe side of the Force

How we formally verified thread safety for our C++/Rust interface.