Graph-based software specification and verification door