A Parametric Model for the Analysis of Mobile Ambients

In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these properties by means of model checking techniques. The precision of the model can be increased by modifying certain numeric parameters increasingly avoiding thereby the occurrences of false counterexamples in the analysis.

• Type: Conference
• Year: 2005
• Where: APLAS
• Authors: Dino Distefano
• Keywords: Abstract finite Model, APLAS 2005, Certain Numeric Parameters, Model Checking Techniques, Programming Languages