-------------------------------------------- State Graph Manipulators (SGM) New Version 1.1 Released!!! "http://www.iis.sinica.edu.tw/~eric/sgm/" -------------------------------------------- State Graph Manipulators (SGM) is a high-level state-graph manipulation tool for verification non-experts as well as experts. The tool has undergone further refining and testing. A much more stable version (v1.1) is now released for downloading. This version provides both a batch and an interactive user interface. The next version (v1.2) scheduled to be released around January 31, 1999 will have a flexible easy-to-use graphical user interface (GUI). Changes in v1.1 from v1.0 (1) Memory usage drastically reduced to 1/8th of that originally required in SGM v1.0. Memory leaks removed using Purify, a commercial program debugging tool from Rational Software. (2) SGM input language syntax modified to accomodate non-symmetrical system descriptions. Non-symmetrical systems can now be described! (3) A new manipulator (state-graph reduction technique) implemented: BIT (Bypass Internal-Transition). (4) Totally 5 application examples included with v1.1 distribution. (a) Fischer's Mutual Exclusion Protocol, (b) CSMA/CD Protocol, (c) Token Ring Network, (d) PATHO OS Priority-Based Task Execution, and (e) Bus Arbiter. (5) User manual updated to version 1.1. (6) Programming bugs/errors fixed. (7) Interactive user interface improved. (8) A graphical user interface has been developed and is being testing currently, it will be released in the next version SGM v1.2 around January 31, 1999. Visit URL: "http://www.iis.sinica.edu.tw/~eric/sgm/" to download SGM. SGM web site completely renewed for easier download and access. Authors: Dr. Pao-Ann Hsiung and Dr. Farn Wang Institute of Information Science Academia Sinica, Taipei, TAIWAN, R.O.C. E-mail: {eric,farn}@iis.sinica.edu.tw ----------------------------------------------------------------------------- Dr. Pao-Ann (Eric) Hsiung Institute of Information Science | E-MAIL: eric@iis.sinica.edu.tw Academia Sinica | TEL : +886-2-27883799 ext. 2453 Nankang, Taipei 115 | FAX : +886-2-27824814 TAIWAN, Republic of China. | URL : http://www.iis.sinica.edu.tw/~eric -----------------------------------------------------------------------------