I've arranged a conference call with Alwyn Goodloe at NASA about work he
and his collaborators at Georgia Tech have done on applying formal
methods to control theory. Alwyn gave a talk here at Galois in December
about this work, if you'd like some background:


I'm hoping we get to play with their code for translating Matlab/Scilab
source to C and then verifying that the resulting C code satisfies some
formal specification for a control loop.

If you're interested in joining this call, it's next Friday, May 13th,
at 1PM. We'll meet at the TOVA Company office at PSBA (2828 SW Corbett
Ave., Suite 130).


Attachment: signature.asc
Description: Digital signature

psas-team mailing list

This list's membership is automatically generated from the memberships of the 
psas-airframe, psas-avionics, and psas-general mail lists. Visit 
http://lists.psas.pdx.edu to individually subscribe/unsubscribe yourself from 
these lists.

Reply via email to