Katharina Engels

1. Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB
   2026/07/20 by Katharina Engels, Jan Gruteser, Michael Leuschel · 1 citation
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Web Application Security Vulnerabilities
2. Animation, Verification and Visualisation of Prolog Transition Systems with ProB
   2026/07/20 by Jan Gruteser, Michael Leuschel, Katharina Engels +1 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Constraint Satisfaction and Optimization