Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions
Document Type
Article
Publication Date
12-2024
Publication Title
IEEE Computer
Volume
57
Issue
12
Pages
1-6
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.
Recommended Citation
Läufer, Konstantin; Mertin, Gunda; and Thiruvathukal, George K.. Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions. IEEE Computer, 57, 12: 1-6, 2024. Retrieved from Loyola eCommons, Computer Science: Faculty Publications and Other Works, http://dx.doi.org/10.1109/MC.2024.3462188
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License.
Copyright Statement
© IEEE, 2024.
Author Manuscript
This is a pre-publication author manuscript of the final, published article.
Comments
Author Posting © 2024 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. The definitive version was published in Computer, Vol. 57, Iss. 12, https://doi.org/10.1109/MC.2024.3462188.