Making your products more Reliable, Safe and Secure

EETimes Blog: Are Formal Apps a Trojan Horse for Full Formal Adoption?

In a recent blog for EETimes, Mike Bartley (founder and CEO of TVS) posed the question “Are formal apps a Trojan horse for full formal adoption?”.  A short abstract of the article is enclosed below. Mythology tells us that the Greeks finally sacked Troy after a 10-year siege by being invited into the city hidden [...]

2018-02-23T11:08:10+00:0011th September, 2014|Hardware Verification, Thought Leadership|