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.
Posted in Connectivity Verification, Formal Methodology, Introduction, Property Verification
