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

Konstantin Läufer; Gunda Mertin; George K. Thiruvathukal; George Hurlburt; Sorel Reisman

doi:10.1109/MC.2024.3462188

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

Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal, George Hurlburt, Sorel Reisman

Research output: Contribution to journal › Article › peer-review

Original language	American English
Pages (from-to)	118-123
Number of pages	6
Journal	Computer
Volume	57
Issue number	12
DOIs	https://doi.org/10.1109/MC.2024.3462188
State	Published - 2024
Externally published	Yes

ASJC Scopus Subject Areas

General Computer Science

Access to Document

10.1109/MC.2024.3462188

http://ecommons.luc.edu/cs_facpubs/401

Cite this

@article{a3614a5f2a6241bb9fef5678188892e8,

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

author = "Konstantin L{\"a}ufer and Gunda Mertin and Thiruvathukal, \{George K.\} and George Hurlburt and Sorel Reisman",

note = "Publisher Copyright: {\textcopyright} 1970-2012 IEEE.",

year = "2024",

doi = "10.1109/MC.2024.3462188",

language = "American English",

volume = "57",

pages = "118--123",

journal = "Computer",

issn = "0018-9162",

number = "12",

}

TY - JOUR

T1 - Engaging More Students in Formal Methods Education

T2 - A Practical Approach Using Temporal Logic of Actions

AU - Läufer, Konstantin

AU - Mertin, Gunda

AU - Thiruvathukal, George K.

AU - Hurlburt, George

AU - Reisman, Sorel

PY - 2024

Y1 - 2024

UR - https://www.scopus.com/pages/publications/85210497127

UR - https://www.scopus.com/inward/citedby.url?scp=85210497127&partnerID=8YFLogxK

U2 - 10.1109/MC.2024.3462188

DO - 10.1109/MC.2024.3462188

M3 - Article

AN - SCOPUS:85210497127

SN - 0018-9162

VL - 57

SP - 118

EP - 123

JO - Computer

JF - Computer

IS - 12

ER -

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

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this