Blog Posts Process Management

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

Get the BPI Web Feed

Using the HTML code below, you can display this Business Process Incubator page content with the current filter and sorting inside your web site for FREE.

Copy/Paste this code in your website html code:

<iframe src="" frameborder="0" scrolling="auto" width="100%" height="700">

Customizing your BPI Web Feed

You can click on the Get the BPI Web Feed link on any of our page to create the best possible feed for your site. Here are a few tips to customize your BPI Web Feed.

Customizing the Content Filter
On any page, you can add filter criteria using the MORE FILTERS interface:

Customizing the Content Filter

Customizing the Content Sorting
Clicking on the sorting options will also change the way your BPI Web Feed will be ordered on your site:

Get the BPI Web Feed

Some integration examples