INF5906 ¨C Selected topics in static analysis

Course description

• Course content
• Learning outcome
• Admission
• Prerequisites

• Teaching
• Examination

Course content

Programming errors are, depending on the application, annoying till intolerable. Many theoretical methods have been developed to prove the correctness of programs. However, in practice the effort to verify realist