TZS is a language for describing implementation-independent validation scenarios for the Tezos economic properties and a system for executing and validating such scenarios.

The first benefit of TZS is that it allows to assert behaviors of the protocol without delving into the details of its implementation. It is more high-level than TZT, which aims to assert the behavior of Michelson snippets. TZS authors will have less protocol-boilerplate to deal with to write scenarios, as opposed to when writing "classic" protocol-integration tests or system tests.

The second is that it can be used to validate other implementations of the economic protocol, or specific sub-components thereof (such has as the Michelson interpreter).

For more details and motivation, see: https://hackmd.io/v9zHVliuR3mv_jrOU40SAw?view