Benefits of Executable Specification
There is a significant part of the specification that can be described in a way that can be directly processed by tools and automatically generate design, verification, firmware and documentation collaterals with minimal human intervention.
Source: design-reuse.com