3 papers
cs.LO2026
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…
cs.LO2026
Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB
Katharina Engels, Jan Gruteser, Michael Leuschel
Event-B is a formal method rooted in predicate logic and set theory. We encoded over 600 proof rules in Prolog, enabling a systematic, comprehensible proof analysis and constructio…
cs.LO2024
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
Jan Gruteser, Jan RoÃbach, Fabian Vu +1
The certification of autonomous systems is an important concern in science and industry. The KI-LOK project explores new methods for certifying and safely integrating AI components…