Michael Leuschel

1. Fifty Years of Prolog and Beyond
   2022/01/26 by Philipp Körner, Michaël Leuschel, Michael Leuschel +23 · 3 voices · 7 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Engineering Research
2. 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
3. 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