I think that's fair. It's been described elsewhere as 'exhaustively testable pseudocode'.