Sciweavers

Share
ATAL
2008
Springer

Model-checking agent refinement

8 years 4 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent specifications in rewrite systems such that we can automatically check if refinement between (fair) executions of agents holds. Categories and Subject Descriptors: I.6.5 Model Development: Modeling methodologies General Terms: Languages, Theory, Verification.
Lacramioara Astefanoaei, Frank S. de Boer
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ATAL
Authors Lacramioara Astefanoaei, Frank S. de Boer
Comments (0)
books