2003
Report
Unknown
A model checking verification environment for mobile systems
Ferrari G., Gnesi S., Montanari U., Pistore M.
Pi-calculus Mobile systems Model checking
In this paper a semantic-based environment for reasoning about the behaviour of mobile systems is presented. The verification environment, called HAL, exploits a novel automata-like model which allows finite state verification of systems specified in the pi-calculus. The HAL system is able to interface with several efficient toolkits (e.g. model checkers) to determine whether or not certain properties hold for a given specification. We report experimental results with some case studies
Source: ISTI Technical reports, 2003
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:160102,
title = {A model checking verification environment for mobile systems},
author = {Ferrari G. and Gnesi S. and Montanari U. and Pistore M.},
institution = {ISTI Technical reports, 2003},
year = {2003}
}CNR authorsLaboratories
0000-0002-0139-0421CNR ExploRA