Animation, Verification and Visualisation of Prolog Transition Systems with ProB

Jan Gruteser, Michael Leuschel, Katharina Engels +1

ProB is a Prolog-based model checker, animator and constraint solver for high-level formal specifications. One can also use ProB to animate transition systems defined by Prolog pre…