Screen Shots

• Games
  • Graphic mode
  • Textual mode
• New Graphic User Interface for CWB-NC

Click a thumbnail for a full image

Games in graphic mode

Sample 1: observational equivalence checking game

 

 

Sample 2: model checking game

Games in textual mode

New GUI for CWB-NC