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

ProB Examples

We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.

  • TrainSwitchingPuzzle
  • Model for Card Trick by Gilbreath
  • Rush Hour Puzzle
  • Game of Life
  • N-Queens
  • Peaceable Armies of Queens
  • ABZ 2014 Landing Gear Case Study
  • Sudoku Solved in the ProB REPL
  • Mutual Exclusion (Fairness)
  • Cheryl's Birthday
  • Blocks World (Directed Model Checking)
  • Nine Prisoners Puzzle by Dudeney and Gardner
Retrieved from "https://prob.hhu.de/w/index.php?title=ProB_Examples&oldid=2891"

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