search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Pemodelan Formal #95

Open adityabagoessaputra opened 6 months ago

adityabagoessaputra commented 6 months ago

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 6 months ago

Thanks for your submission, @adityabagoessaputra ! Do you have a public webpage for the course?

adityabagoessaputra commented 6 months ago

Unfortunately, none at this moment. I'll notify you when there is a public page. Thank you.