[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Verum



Announcement of patent for Verum’s CSP-based tool:

 

http://www.electronics-eetimes.com/en/verum-gains-patent-for-formal-methods-based-tool.html?cmp_id=7&news_id=222901332&vID=220

 

 

 

With my best wishes,

 

 

Alastair Allen.

 



The University of Aberdeen is a charity registered in Scotland, No SC013683.