ProB Cli

Revision as of 14:09, 30 October 2014 by Lukas Ladenberger (talk | contribs)


The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles.

Tutorial

User Manual

Developer Manual