[GAP] Academic use of Tokeneer package

[Jamie Ayre]

Dear GAP member,

As you may already know, AdaCore and Praxis High Integrity Systems  
have worked together to market SPARK Pro. A version of the toolset is  
already available for the GAP community as is the Tokeneer package (a  
research project to develop part of an existing secure system in  
accordance with Praxis' Correctness by Construction development  
process). Rod Chapman from Praxis has been asked to contribute an  
article on the Tokeneer project to the NSA's internal technical  
journal. As such, he would be very interested to hear from any of you  
that are using Tokeneer in classes or in research projects. If you  
are, please send him an email directly (rod.chapman at praxis-his.com).

Kind regards,

Jamie

-- 
Jamie Ayre, Marketing Manager, AdaCore
ayre at adacore.com, tel: +33 1 49 70 66 35, cell: +33 6 73 16 31 98

Open-DO - towards a lean approach for certification
www.open-do.org