Svenska företag som utvecklar hjälpmedel för formell verifiering växer inte på träd. Ett undantag är emellertid uppstartsföretaget Safelogic som under året lanserat två verktyg som använder matematiska metoder för att verifiera avancerade elektronikkonstruktioner. Safelogic utnyttjar så kallad property checking, för att bevisa att en konstruktion alltid fungerar korrekt. Snabbt ska det gå också, eftersom hjälpmedlen angriper problemen på en hög abstraktionsnivå. Företaget hävdar att de egna verktygen klarar mer än konkurrerande alternativ samtidigt som de är lättare att använda.
Produktnamn: Safelogic Monitor och Safelogic Verifier Företag: Safelogic, Göteborg Innovatör: Claes Strannegård