Browse by Course code: COMP2214

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 28.
  1. [img] [img]
    COMP2214 - Lecture 21 - Revision
    Revision lecture

    Shared with the University by
  2. [img] [img]
  3. [img] [img]
  4. [img]
  5. [img]
  6. [img]
  7. [img]
  8. [img] [img]
  9. [img] [img]
  10. [img] [img]
    COMP2214 - Tutorial 04 - Fixing models using failing proofs
    Fixing models using failing proofs

    Shared with the University by
  11. [img] [img]
    COMP2214 - Lecture 15 - Verification in Dafny
    Verification in Dafny

    Shared with the University by
  12. [img]
    COMP2214 - Lecture 14 - Loops
    Reasoning about looping programs

    Shared with the University by
  13. [img] [img]
  14. [img]
    COMP2214 - Lecture 13 - Contracts
    Slides from Prof Michael Butler

    Shared with the University by
  15. [img] [img]
  16. [img] [img]
  17. [img] [img]
  18. [img] [img]
    COMP2214 - Lecture 08 - Extension Refinement
    - Abstraction & Refinement - Extension Refinement

    Shared with the University by
  19. [img] [img]
  20. [img]
  21. [img]
  22. [img]
    COMP2214 - Lecture 05 - Tree File
    - Tree file system - Transitive Closure

    Shared with the University by
  23. [img] [img]
    COMP2214 - Lecture 04 - Set Theory
    A refresher on Set Theory

    Shared with the University by
  24. [img]
  25. [img]
  26. [img]
    COMP2214 - Lecture 01 - Proof-based verification in Event-B
    Proof-based verification in Event-B

    Shared with the University by
  27. [img]
    COMP2214 - Proof rules
    Some useful proof rules

    Shared with the University by
  28. [img] [img]
    COMP2214 - Lecture 00 - Introduction
    Introductory slides

    Shared with the University by
This list was generated on Thu Oct 17 20:48:40 2019 UTC.