Beskrivelse
Metodologier i formell programvarespesifikasjon, -utvikling og -verifikasjon. Bruk av teorembevisføring, automatisert deduksjon og andre relaterte formelle metoder for programvarekorrekthet. Anvendelser i programverifisering og sikker beregning.
Referansetekst i originalspråket
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/grad/courses/COMP/