Previous Contents

B   About p-s.a.

p-s.a. is an experimental prototype for academic use only. it is implemented in Objective Caml release 3.01. It can be used via a CGI script available form . The analysis is then launched on a SUN Ultra-5.10 station, with 128 MB of memory.

Due to security policy, analysis sessions are shortly time bounded.

This work was supported by the RTD project IST-1999-20527 "DAEDALUS'' of the European FP5 programme.

We would also like to thank Antoine Miné for allowing us to use his wonderfull OcamlHTML library.
Previous Contents