Browse by Tags: formal methods

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 42.
  1. [img] [img]
  2. [img] [img]
  3. [img] [img]
  4. [img] [img]
  5. [img] [img]
  6. [img] [img]
    COMP1216 - Problem Class 5
    Modelling with Sets

    Shared with the University by
  7. [img] [img]
    COMP1216 - Problem Class 9
    Shared with the University by
  8. [img] [img]
    COMP1216 - Problem class 2
    Functional Modelling

    Shared with the University by
  9. [img] [img]
    COMP1216 - Problem class 6
    Modelling using Relations

    Shared with the University by
  10. [img] [img]
    COMP1216 - Problem class 7
    Model a hotel reception system in Event-B

    Shared with the University by
  11. [img] [img]
    COMP1216 - Problem class 8
    Managing room allocation in multiple hotels

    Shared with the University by
  12. [img]
  13. [img]
    COMP1216 - Relations in Event-B
    Modelling using Relations in Event-B - Order Pairs - Cartesian Product - Relations - Domain/Range of relations - Relational Image

    Shared with the University by
  14. [img] [img]
    COMP1216 - Revision
    Revision

    Shared with the University by
  15. [img] [img]
    COMP1216 - Solving Puzzles with Invariants
    - "Chameleons of three colours" riddle

    Shared with the University by
  16. collection
  17. [img] [img]
  18. [img] [img]
    COMP2214 - Lecture 00 - Introduction
    Introductory slides

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

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

    Shared with the University by
  23. [img]
    COMP2214 - Lecture 05 - Tree File
    - Tree file system - Transitive Closure

    Shared with the University by
  24. [img]
  25. [img]
  26. [img] [img]
    COMP2214 - Lecture 08 - Extension Refinement
    - Abstraction & Refinement - Extension Refinement

    Shared with the University by
  27. [img] [img]
  28. [img] [img]
  29. [img] [img]
  30. [img]
    COMP2214 - Lecture 13 - Contracts
    Slides from Prof Michael Butler

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

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

    Shared with the University by
  33. [img] [img]
  34. [img]
  35. [img]
  36. [img] [img]
    COMP2214 - Lecture 21 - Revision
    Revision lecture

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

    Shared with the University by
  38. [img] [img]
    COMP2214 - Tutorial 04 - Fixing models using failing proofs
    Fixing models using failing proofs

    Shared with the University by
  39. [img] [img]
  40. [img] [img]
  41. [img] [img]
  42. collection
This list was generated on Thu Jun 20 11:28:11 2019 UTC.