HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Model checking applied to mobile agent system

Abstract : The subject of this contribution is about use of formal specification in order to prove business properties of a mobile agent system. First, we can be described this kind of system by the use of process algebra, in particular the π-calculus language. Then, from such formal specification, we can generate semi automatically automata using an XML transformation. Finally, we compute acceptance graph to validate a formal property. This validation is assisted by the use of a tool such Uppaal from Aalborg university.
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

Contributor : Cyril Dumont Connect in order to contact the contributor
Submitted on : Friday, July 29, 2011 - 6:42:14 PM
Last modification on : Tuesday, October 19, 2021 - 4:06:40 PM
Long-term archiving on: : Monday, November 7, 2011 - 11:35:07 AM


Files produced by the author(s)


  • HAL Id : hal-00612682, version 1



Cyril Dumont, Fabrice Mourlin. Model checking applied to mobile agent system. Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 2p. ⟨hal-00612682⟩



Record views


Files downloads