Formal verification

CS-550

Should FV be 8 credits and if so with exam?

This page is part of the content downloaded from Should FV be 8 credits and if so with exam? on Wednesday, 25 December 2024, 17:32. Note that some content and any files larger than 50 MB are not downloaded.

Description

To update the course plan for future years, I ask whether you would consider it reasonable to have 8 credits, as well as whether there should be an exam in the exam period to reduce the burden on the midterm exam. This will not affect the currently running version of the course, but will influence future editions.