The ProB Animator and Model Checker
  • Components
    • ProB Cli
    • ProB Tcl/Tk
    • ProB Java API
    • BMotionWeb
    • ProB for Rodin
    • ProB for TLA
  • Documentation
    • ProB Tcl/Tk
    • BMotionWeb
    • ProB Java API
  • Download
  • Bugs
  • Links
  • Team
  • Navigation
    • Main Page
    • User Manual
    • Tutorials
    • Developer Manual
    • Benchmarks
    • Licence
    • Logic Calculator
  • Special Pages
    • Recent changes
    • User
      • Log in

Help

Main Page

Redirect page

Redirect to:

  • The ProB Animator and Model Checker
Retrieved from "https://prob.hhu.de/w/index.php?title=Main_Page&oldid=7"

Contact

Heinrich-Heine-University
Institut für Software und Programmiersprachen
To Website. Datenschutz/Privacy Policy.

Licence

All ProB components and source code
is distributed under the EPL v1.0 license.

Copyright © Heinrich-Heine-University, Institut für Software und Programmiersprachen 2021