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 - Problem Class 05 - Extension Refinement with Guard Modification
    Shared with the University by
    Dr Son Hoang
  2. [img] [img]
    COMP2214 - Problem Class 04 - Fixing models using failing proofs
    Fixing models using failing proofs

    Shared with the University by
    Dr Son Hoang
  3. [img] [img]
    COMP2214 - Lecture 09 - Extension Refinement with Guard Modification
    Shared with the University by
    Dr Son Hoang
  4. [img] [img]
    COMP2214 - Lecture 08 - Extension Refinement
    - Abstraction & Refinement - Extension Refinement

    Shared with the University by
    Dr Son Hoang
  5. [img] [img]
    COMP2214 - Lecture 04 - Set Theory
    A refresher on Set Theory

    Shared with the University by
    Dr Son Hoang
  6. [img] [img]
    COMP2214 - Lecture 03 - Deductive Proof (First-Order Logic and Set Theory)
    Shared with the University by
    Dr Son Hoang
  7. [img] [img]
    COMP2214 - Lecture 02 - Deductive Proof (Propositional Logic)
    - Constructing Proof Trees - Inference Rules - Applying inference rules backwardly to construct proof trees

    Shared with the University by
    Dr Son Hoang
  8. [img] [img]
    COMP2214 - Lecture 01 - Proof-based verification in Event-B
    Proof-based Verification in Event-B

    Shared with the University by
    Dr Son Hoang
  9. [img] [img]
    COMP2214 - Lecture 00 - Introduction
    Introduction to Advanced Software Modelling & Design

    Shared with the University by
    Dr Son Hoang
  10. [img] [img]
    COMP2214 - Lecture 21 - Revision
    Revision lecture

    Shared with the University by
    Dr Son Hoang
  11. [img]
    COMP2214 - Lecture 14 - Loops
    Reasoning about looping programs

    Shared with the University by
    Dr Son Hoang
  12. [img] [img]
    COMP2214 - Lecture 11 - An Elevator System
    Shared with the University by
    Dr Son Hoang
  13. [img] [img]
    COMP2214 - Lecture 10 - Data Refinement
    Shared with the University by
    Dr Son Hoang
  14. [img]
    COMP2214 - Proof rules
    Some useful proof rules

    Shared with the University by
    Dr Son Hoang
  15. [img]
    COMP2214 - Lecture 18 - Requirements Engineering
    Shared with the University by
    Dr Son Hoang
  16. [img] [img]
    COMP2214 - Coursework descriptions 2020-21
    Shared with the University by
    Dr Son Hoang
  17. [img] [img]
    COMP1216 - Extending Event-B Model
    Shared with the University by
    Dr Son Hoang
  18. [img]
    COMP2214 - Lecture 13 - Contracts
    Slides from Prof Michael Butler

    Shared with the University by
    Dr Son Hoang
  19. [img] [img]
    COMP2214 - Lecture 06 - Reachability in Transition System
    Shared with the University by
    Dr Son Hoang
  20. [img] [img]
    COMP2214 - Lecture 07 - Debugging Models with Proof and Judgement
    Debugging Models with Proof and Judgement - Strengthen Guards - Modify Actions - Strengthen Invariants - Weaken Invariants

    Shared with the University by
    Dr Son Hoang
  21. [img] [img]
    COMP2214 - Lecture 05 - Tree File
    - Tree file system - Transitive Closure

    Shared with the University by
    Dr Son Hoang
  22. [img] [img]
    COMP2214 - Tutorial 7 - Verification with Dafny (part 2)
    Shared with the University by
    Dr Son Hoang
  23. [img] [img]
    COMP2214 - Tutorial 6 - Verification with Dafny (part 1)
    Shared with the University by
    Dr Son Hoang
  24. [img]
    COMP2214 - Lecture 20 - Security Engineering
    Shared with the University by
    Dr Son Hoang
  25. [img]
    COMP2214 - Lecture 19 - Safety-Critical Systems
    Shared with the University by
    Dr Son Hoang
  26. [img]
    COMP2214 - Lecture 17 - System Theoretic Process Analysis
    Shared with the University by
    Dr Son Hoang
  27. [img] [img]
    COMP2214 - Lecture 15 - Verification in Dafny
    Verification in Dafny

    Shared with the University by
    Dr Son Hoang
  28. [img] [img]
    COMP2214 - Lecture 16 - Event-B to Dafny
    Shared with the University by
    Dr Son Hoang
This list was generated on Fri Apr 26 12:24:40 2024 UTC.