Graph-based software specification and verification by