Contents

• ProB V1.0.6 Installation Manual Document Version 0.2 (generated June 29, 2004) http://www.ecs.soton.ac.uk/~mal/systems/prob.html University of Southampton, UK Declarative Systems and Software Engineering
  • Installing ProB
    • ProB Licence
    • Installation Requirements
      • Frequently Asked Questions
      • Student Edition CDROM Frequently Asked Questions
      • Installing ProB on Solaris
    • Keeping PROB up-to-date
    • Installing GraphViz
      • Frequently Asked Questions
      • Installing GraphViz on Solaris
    • Installing a Java Run-time Environment
      • Frequently asked questions
      • Installing the Java Run-time Environment on Solaris
    • Installing TclTk
      • Frequently Asked Questions
      • Installing Active Tcl/Tk for Solaris

=200