Re: [moca] static analysis

["Debora Schuch da Rosa" <schuch@xxxxxxxxxxxx>]

Dear Umar,

 

I will not make you completely happy with this answer, but here I go:

 

                We have run Static Analysis under BioAmbients codes.

 

The implementation we have is written in SML. It has two parts: one part containing a data

structure for BioAmbients and a function for generating the constraints for solving some specific analysis problem. The other part is the generic solver which we are currently improving to obtain better flow and context sensitive results.

 

The tool gives us an over-approximation result. The great on that is that the solver runs in polynomial time O(n3) max and it's a promissory tool for systems biology.

 

                               http://eprints.biblio.unitn.it/archive/00000450/ (introductory)

                               http://eprints.biblio.unitn.it/archive/00000434/

Best,

 

Debora Schuch da Rosa

DIT - University of Trento

 

 

-------Original Message-------

 

From: moca@xxxxxxxxxxxxxxx; Umar Janjua

Date: lunedì 14 giugno 2004 11.05.58

To: moca@xxxxxxxxxxxxxxx

Subject: [moca] static analysis

 

Hi,

 

Does any one can tell me the static analysis tools and systems( with free

source code available) for ambient calculus

 

regards,

Umar

 

 

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

The "models for mobility" mailing list mailto:moca@xxxxxxxxxxxxxxx

http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html

.

____________________________________________________
  IncrediMail - Email has finally evolved - Click Here