Graphical verification of a spatial logic for the π-calculus