Report copyright - SPIN Overviewcrystal.uta.edu/~ylei/cse6323/data/SPIN-overview.pdf · i.e., an automatic technique to verify the correctness of finite state systems. It involves checking a desired
Please pass captcha verification before submit form