For non trivial uses it wouldn't be a great spec. But I think we can bring our worlds together with a bit of boilerplate.

> The system shall have behavior identical to that expressed by the system created by the following source code. [add some stuff about environment to taste]