Old News
- 28, Feb, 2011: PAT 3.2.3 is released!
- 21, Jan, 2011: PAT 3.2.2 is released!
- 13, Jan, 2011: Experiments for FM 2011 are added!
- 24, Dec, 2010: PAT 3.2.1 is released!
- 11, Dec, 2010: Videos are avaiable for PCSP and NesC module!
- 3, Dec, 2010: PAT 3.2.0 is released!
- 06, Nov, 2010: PAT experiments are standardized and published
- 13, Oct, 2010: PAT API is released!
- 22, Sep, 2010: Two Posrdoc Positions on Model Checking at National University of Singapore
- 2, Sep, 2010: PAT 3.2.0 (beta) is released!
- 1, Aug, 2010: PAT 3.1.0 is released. PAT is cross-platform now: running on Linux, Mac OS and more!
- 14, July, 2010: PAT 3.0.0 is released!
- 30, May, 2010: PAT Forum is up!
- 22, May, 2010: PAT 3.0.0 beta is released!
- 18, March, 2010: PAT 2.9.1 is released!
- 16, March, 2010: Appreciation for PAT Japanese User Group
- 29, Jan, 2010: PAT 2.9.0 is released!
- 02, Dec, 2009: PAT 2.8.0 is released!
- 4, Nov, 2009: PAT is presented FM 09
- 24, Oct, 2009: Warning List is supported. PAT makes the modeling easier!
- 30, Sep, 2009: PAT Japanese user group formed
- 25, Sep, 2009: PAT supports user defined data structures
- 05, Sep, 2009: PAT 2.7.0 is released!
- 29, Jul, 2009: PAT is presented CAV 09 and TASE 09
- 09, Jun, 2009: PAT 2.6.0 is released!
- 02, Jun, 2009: PAT 2.5.0 is released!
- 30, Apr, 2009: http://www.patroot.com is online
- 30, Apr, 2009: PAT 2.4.0 is released!
- 13, Apr, 2009: PAT 2.3.0 is released!
- 30, Mar, 2009: PAT 2.2 User Manual is online!
- 27, Mar, 2009: PAT 2.2.0 is released!
- 09, Mar, 2009: PAT 2.1.0 is released!
- 05, Jan, 2009: PAT 2.0 is released!
- 21, Dec, 2008: PAT 1.3.1 is released!
- 10, Dec, 2008: PAT 2.0 Beta is released!
- 04, Dec, 2008: PAT User Manual is online!
- 25, Nov, 2008: PAT 1.3.0 is released!
- 19, Nov, 2008: PAT 1.2.9 is released! Please re-install PAT!
- 15, Nov, 2008: PAT 1.2.8 is released!
- 04, Nov, 2008: PAT 1.2.7 is released!
- 13, Oct, 2008: PAT tutorials and lecture notes are added
- 06, Oct, 2008: New URL and PAT MailList
- 06, Oct, 2008: PAT 1.2.6 is released!
- 03, Oct, 2008: PAT 1.2.5 is released!
- 11, Sep, 2008: PAT 1.2.4 is released!
- 8, Aug, 2008: PAT 1.2.3 is released!
- 6, Aug, 2008: PAT User Manual is updated
- 31, July, 2008: PAT 1.2.2 is released!
- 10, July, 2008: PAT 1.2.0 is released!
- 17, June, 2008: PAT is presented in TASE 2008
- 25, May, 2008: PAT is presented in ICSE 2008
- 5, May, 2008: The PAT's User Interface and Language Parser are completely redesigned.
- 5, May, 2008: PAT wants You!