Katharina Engels

Encoding Event-B proof rules in Prolog not only streamlines proof analysis but also transforms how students engage with formal methods through interactive visualization.

ProB's latest features transform how we animate and verify transition systems, making complex game strategies more accessible and understandable.