InFormal Chat

Archive for 2020

No reason to miss a beat, online help is available!

COVID-19 situation has forced all of us into a new normal, which is to work from home and collaborate with team members, partners and customers online. At a company level as well as at an individual level, everyone is trying to be as productive as possible.

Continue Reading...

Posted in Events


Formalizing the Virus Exposure Problem

As much of world is practicing “social distancing” or some version of it, I would venture to guess that many are getting “cabin fever” from the extended isolation. For me this condition has led to a blurred line between work and home and more interestingly news coverage and formal applications.

Continue Reading...

Posted in Connectivity Verification, Formal Methodology, Introduction, Property Verification


At the Driving Edge of Technology

It was a beautiful sunny day and traffic on the M40 was light making it a wonderful drive to the Wirral. My wife was browsing on Spotify, I was busy changing lanes and a call comes through. As my wife took the call, the display on my car flickered and then froze! I soon realised that every electrical system except the accelerator and the brakes had failed. At 70 mph on the motorway a cold sweat of fear and panic gripped me as I changed lanes cautiously and nursed the car another ten miles to the nearest service station. True story! Thankfully nothing untoward happened in the end. The car returned to normal after we did a “reboot” of the car’s operating system.

Continue Reading...

Posted in Formal Methodology