Added Formal Models
Merge pull request #2 from yuxiaotan/two-generals

Added Formal Models