A Parametric Model for the Analysis of Mobile Ambients | Zendy

Dino Distefano | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Parametric Model for the Analysis of Mobile Ambients

Author(s) -

Dino Distefano

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-29735-9

DOI - 10.1007/11575467_26

Subject(s) - computer science , parametric statistics , counterexample , model checking , parametric model , algorithm , abstract interpretation , theoretical computer science , mathematics , discrete mathematics , statistics

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research