[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[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