arxivcs.LOcs.AIcs.GT2026-07-23
Animation, Verification and Visualisation of Prolog Transition Systems with ProB
Jan Gruteser, Michael Leuschel, Katharina Engels, Fabian Vu
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 predicates, allowing the application of its various validation techniques. In this work, we present the…