Brighten Godfrey

Brighten Godfrey

How Formal Verification Can Thwart Change-Induced Network Outages

May 26, 2016

How Formal Verification Can Thwart  Breaches Formal verification is not a new concept. In a nutshell, the process uses sophisticated math to prove or disprove whether a system achieves its desired functional specifications. It is employed by organizations that build

Read More
Darach Beirne
Connecting IT Silos Customer experience (CX) is a top priority for businesses across industries. The interactions and experiences customers have with a business throughout their entire journey – from first contact to becoming a happy ...
Ronald van Loon
The New Data Privacy Paradigm 2018 was a pivotal year in data developments; the GDPR entered to shake up the privacy landscape and usher data minimization and improved data privacy experiences into the forefront of ...
Derrek Schutman
Implementing Digital Capabilities Successfully Building robust digital capabilities can deliver huge benefits to Digital Service Providers (DSPs). A recent TMForum survey shows that building digital capabilities (including digitization of customer experience and operations), is the ...
Doug Hazelman Cloudberry
Managing Complex IT Environments The hybrid work model is here to stay—at least for the time being. That’s how things feel in these still uncertain times. This new way of work that has evolved from ...
Smart contract
What Is A Smart Contract? Traditional contracts In order to understand what smart contracts are and how they can be used, we should first define what a traditional contract is. A contract can be broadly ...