SPIN
Spin Doctor 3 General pro cedure to v erify a (general) prop ert y on Pr omela mo del M using the mo del c hec k er Spin: 1. Sanity che ck. P erform some in teractiv e and random sim ulation runs on the mo del M and the prop ert y either using Xspin or Spin. 2. Partial che ck. Use ... Read Content
No comments:
Post a Comment