Tag Archives: IP-XACT

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

ee-time-logoIn 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 inside a now famous wooden “Trojan” horse. Similarly, formal verification (FV) has threatened to become mainstream for as long as I can remember. However, could it be that “formal apps” are the disguised guest that finally see us realize the Kathryn Kranen prediction that “formal will dominate verification”?

Continue reading