Source : Free On-Line Dictionary of Computing

GRASPIN
     
        An Esprit project to develop a personal software engineering
        environment to support the construction and verification of
        distributed and non-sequential software systems.