Beskrivelse
Introduksjon til formelle metoder i programvareteknikk med dekning av proposisjons- og førstepartssannsynlighetslogikk (syntaks, semantikk, bevisteori), formelle spesifikasjonspråk, begrenset analyse og validering, verktøy for formell spesifikasjon, og model checking med endelige tilstandsmodeller, temporallogikk og model checking-verktøy.
Forkunnskaper
- Forutsetninger: COMP 1805, SYSC 3120 og SYSC 4001.
Vilkår og bestemmelser
- Forutsetninger: COMP 1805, SYSC 3120 og SYSC 4001.
- Forelesninger tre timer i uken.
Referansetekst i originalspråket
Introduction to formal methods in software engineering with coverage of propositional and first-order logic (syntax, semantics, proof theory), formal specification languages, bounded analysis and validation, formal specification tools, and model checking with finite-state machines, temporal logic, and model checking tools.
- Prerequisite(s): COMP 1805 , SYSC 3120 , and SYSC 4001 .
- Lectures three hours a week.
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/undergrad/courses/SYSC/