Making your products more Reliable, Safe and Secure

Formal in the Field: Users are Getting More Sophisticated

Building on an old chestnut, if sufficiently advanced technology looks like magic, there are a number of technology users who are increasingly looking like magicians. When it comes to formal, neither is magical, just very clever. The technology continues to advance and so do the users in their application of those methods. This article shows how formal users are getting more sophisticated.

Read More


Find out how T&VS Formal Verification techniques help to improve the quality of Verification.

24th October, 2019|Blog, Thought Leadership|