Formal Methods

5 posts · 3 sources

Jane StreetBlog7 Jun

Formal methods and the future of programming

MongoDBBlog27 Feb

Towards Model-based Verification of a Key-Value Storage Engine

MongoDBBlog25 Sept

Carrying Complexity, Delivering Agility

MongoDBBlog2 Jul

Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+

CloudflareBlog24 Feb

Building Confidence in Cryptographic Protocols