WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+.

Konstantin Lufer, Gunda Mertin, George K. Thiruvathukal

Browse the full FIE paper archive.