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

Authors

Konstantin Läufer, Loyola University ChicagoFollow
Gunda Mertin
George K. Thiruvathukal, Loyola University ChicagoFollow

Document Type

Article

Publication Date

12-2024

Publication Title

IEEE Computer

Publisher Name

IEEE

Abstract

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.

Identifier

10.1109/MC.2024.3462188

Recommended Citation

K. Laufer, G. Mertin and G. K. Thiruvathukal, "Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions" in Computer, vol. 57, no. 12, pp. 118-123, Dec. 2024, doi: 10.1109/MC.2024.3462188.

Creative Commons License

This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License.