Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions

Our hands-on course introduces model checking using Temporal Logic of Actions through practical examples like the control logic for a microwave oven. Due to highly positive initial feedback from our own students, we plan to broaden our reach by partnering with other institutions.