Pemodelan Formal
Opened this issue · 2 comments
adityabagoessaputra commented
Course code, if applicable: AIF339
University hosting the course: Parahyangan Catholic University
Contact person: Aditya Bagoes Saputra, aditya.bagoes@unpar.ac.id
Concepts taught: Logic, Formal Specification, Temporal Logic, Model Checking
Tools used: Alloy, Coloured Petri Nets
Webpage:
Year/Level: 3
jff commented
Thanks for your submission, @adityabagoessaputra ! Do you have a public webpage for the course?
adityabagoessaputra commented
Unfortunately, none at this moment. I'll notify you when there is a public page. Thank you.