Formal verification: what it is and why you need it in your network infrastructure

When you step on a 777 to your next business trip or vacation, has a flash of impending doom ever crossed your mind? While it is always good to call your loved ones, rest assured: the odds of your plane crashing are only 1 in 4 million. You have a better chance of being struck by lightning (1 in 3 million) or spending $300 and winning the $656 Million Powerball jackpot (1 in 2 million).Read More