update
Add example of Stack and Thread.
Merge branch 'master' of github.com:alex-ren/model-checking-ats
modify Readme.txt