This page collects all specifications written by the SyWay program. All specifications undergo a review process which ensures compliance with the acceptance checks.