Feedback

Nota : Ceci est la version 20122013 de l’annuaire électronique. Veuillez mettre à jour l’année dans la barre d’adresse de votre navigateur pour une version plus récente de cette page, ou cliquez ici pour consulter l'annuaire la plus récente.

COMP 525 Formal Verification (3 unités)

Offert par : Informatique (Sciences)

Vue d'ensemble

Computer Science (Sci) : Propositional logic - syntax and semantics, temporal logic, other modal logics, model checking, symbolic model checking, binary decision diagrams, other approaches to formal verification.

Trimestres : Ce cours n’est pas au programme de l’année universitaire 2012-2013.

Chargés de cours : Aucun professeur n’est associé à ce cours pour l’année universitaire 2012-2013.

  • 3 hours
  • Prerequisites: COMP 251 and COMP 330.