ProB: Some Screenshots

Animation of an E Travel Agency

Animation of a simple Bakery Protocol Specification

State Space Visualization for the Bakery Protocol Specification

The Java Version of the Animator


Michael Leuschel