Swedish companies that develop tools for formal verification are not ubiquitous. There is, however, at least one: the start-up company Safelogic, which last year released two tools that use mathematical methods to verify complex electronic designs.
Safelogic utilizes so-called property checking to prove that designs always work as intended. Performance is addressed by handling the designs on a high abstraction level. Safelogic claims that not only do the tools master more than their competitors, they are also more user-friendly.