Sleeping soundly with the help of TLA+
Blog: Oracle BPM
Oracle Cloud Infrastructure (OCI)’s verification team uses formal methods—in particular, a language and toolset called TLA+—to ensure that OCI’s systems are as robust as possible. Such techniques help catch subtle bugs before they impact customers. TLA+ enables OCI to ensure that our distributed system designs are correct under every possible thread interleaving, network fault, and power outage scenario
Leave a Comment
You must be logged in to post a comment.