search

uprm-inso4115-2023-2024-s2 / semester-project-automated-resume-builder

semester-project-automated-resume-builder created by GitHub Classroom
1 stars 0 forks source link

[Lecture Topic Task] Create TLA+ model #187

Closed JonathanDebug closed 5 months ago

JonathanDebug commented 7 months ago

"The assignment that replaces the two meetings: use TLA+ for requirements validation. On https://lamport.azurewebsites.net/tla/tla.html you can find lots of material on TLA+ including the book Specifying Systems and on YouTube there are lots of tutorials. Then use your requirements and specify a model of a system that satisfies (at least some relevant) requirements, formulate properties, and model check these properties."

irsaris commented 5 months ago

This is due in less than 2 hours.