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.
Authors
- Konstantin Läufer (ORCID: https://orcid.org/0000-0002-7548-0876)
- George K. Thiruvathukal (ORCID: https://orcid.org/0000-0002-0452-5571)
- Gunda Mertin (ORCID: https://orcid.org/0009-0002-9500-3265)
Institutions
- Loyola University Chicago (US)
Publication Details
- Journal
- Computer
- Published
- 2024-11-15
- DOI
- https://doi.org/10.1109/mc.2024.3462188
- Primary Topic
- Educational Tools and Methods
- Type
- article
- Field-Weighted Citation Impact
- 0.00