Behörighetskrav

20 poäng datavetenskap och 20 poäng matematik

Syfte

Kursen ska ge kunskap i teori och metodik för konstruktion och verifiering av program.

Innehåll

Metoder för att konstruera korrekta program. Specifikation och verifiering av program. Metoder för att avgöra och hitta invarianter. Svagaste förvillkor.

Undervisning

Föreläsningar, lektioner, laborationer.

Examination

Kursen är uppdelad i en teoridel omfattande 3 poäng och en mer praktisk del omfattande 2 poäng.

Kursen examineras i enlighet med information given vid kursstart och innehåller muntlig eller skriftlig tentamen och obligatoriska uppgifter.

Övriga föreskrifter

Kursen får ej tillgodoräknas i examen tillsammans med kursen 2AD094 Programteori.