Applying Formal Methods to a Telecommunications System in a Commercial Setting

By clicking the above thumbnail page images, you can peruse the slides. This slide show was created using webify. Webify is freely distributed in C source form, and runs on UNIX systems having Ghostscript installed with PPMRAW conversion along with the cjpeg or ppmtogif utilities (all available free). It can be used (on UNIX systems) to convert postscript files generated on Macs, PCs, and elsewhere. Contact Steve Ward for more information.