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

Verum

To: "'occam-com@xxxxxxxxxx'" <occam-com@xxxxxxxxxx>
Subject: Verum
From: "Allen, Dr Alastair R. (Engineering)" <a.allen@xxxxxxxxxx>
Date: Thu, 8 Apr 2010 14:59:44 +0100
Accept-language: en-US
Acceptlanguage: en-US
Delivery-date: Thu, 08 Apr 2010 15:00:07 +0100
Envelope-to: ats@xxxxxxxxxxxxxxxx
List-help: <mailto:sympa@kent.ac.uk?subject=help>
List-id: <occam-com.kent.ac.uk>
List-owner: <mailto:occam-com-request@kent.ac.uk>
List-post: <mailto:occam-com@kent.ac.uk>
List-subscribe: <mailto:sympa@kent.ac.uk?subject=subscribe%20occam-com>
List-unsubscribe: <mailto:sympa@kent.ac.uk?subject=unsubscribe%20occam-com>
Sender: Mailing_List_Robot <sympa@xxxxxxxxxx>
Thread-index: AcrXI75m90vacuxTSw6qOFqjynvyWw==
Thread-topic: 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.

Prev by Date: Re: Race condition...
Next by Date: Can XMOS do occam?
Previous by thread: "MapReduce for Go" post cites CSP
Next by thread: Can XMOS do occam?
Index(es):
- Date
- Thread