The Synchronised Hypergraph Environment (SHE) is a tool for
assisting distributed software development and
verification. The system provides an interactive environment based
on graph rewriting, where applications are developed
declaratively and computation can be visualised as a sequence of graph
transformations. The user can explore the state space of the
application under construction, and search for states satisfying
safety conditions, as well as non-local properties, (e.g. having a
specified number of next states). Execution paths can be selected and
the corresponding run can be animated. SHE is based on the
Murphymodel checker, thus allowing automatic
verification of safety properties.
