add formal verif
[lttv.git] / trunk / verif / Spin / Src5.1.6 / spin
CommitLineData