B About Amb-s.a.
Amb-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.