search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Advanced Topics in Software Verification #61

Open lsf37 opened 4 years ago

lsf37 commented 4 years ago

Course code, if applicable: COMP4161 University hosting the course: UNSW Sydney Contact person: Gerwin Klein, kleing@unsw.edu.au Concepts taught: Applied Formal Methods,Axiomatic Semantics ,Deductive Software Verification,Deductive Proof,Deductive Verification ,Formal Specification,Hoare Logic,Induction,Interactive Theorem Proving,Logic,Proofs,Proof Assistants,Software Verification,Specification,Structural Operational Semantics,Theorem Proving,WP Calculus Tools used: C,Isabelle Webpage: http://www.cse.unsw.edu.au/~cs4161/ Year/Level: 3 Reviewed: 2021/06/25

luigiapetre commented 3 years ago

The webpage provided here (https://www.cse.unsw.edu.au/~cs4161/) is not the same as the one in the active database (https://fme-teaching.github.io/courses/), where for some reason it opens this address http://www.cse.unsw.edu.au:443/~cs4161/, that does not work.

jff commented 3 years ago

@luigiapetre Fixed!

luigiapetre commented 3 years ago

@jff: but it does not show the "reviewed" field, maybe because it's not "Last review date"?

luigiapetre commented 3 years ago

@jff: And in my browser it still does not work (the link is still http://www.cse.unsw.edu.au:443/~cs4161/)

lsf37 commented 3 years ago

If it helps, a non-https link should also be fine, i.e. http://www.cse.unsw.edu.au/~cs4161/

jff commented 3 years ago

@luigiapetre I added the Reviewed field.

The link was working on Brave but not in Firefox (not sure why). I followed @lsf37 's suggestion and now it seems to be working as expected!