JavaScript is currently disabled.Please enable it for a better experience of Jumi. Vågar vara formell

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

Charlotta von Schultz

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)