Browse by Tags: event b

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 13.
  1. [img] [img]
    COMP1216 - AY2023-24 - Coursework 2
    Event-B Model for a Dentist Appointment System

    Shared with the University by
    Dr Son Hoang
  2. [img]
    COMP1216 - Coursework 2 (2020-21)
    Description of Coursework 2 for COMP1216 (2020-21)

    Shared with the University by
    Dr Son Hoang
  3. collection
    COMP1216 - Software Modelling & Design (AY2021-22)
    Material for COMP1216 Software Modelling & Design (AY2021-22)

    Shared with the University by
    Dr Son Hoang
  4. [img] [img]
    COMP1216 Coursework 2 (AY2022-23)
    Coursework 2: Event-B modelling of an auction system

    Shared with the University by
    Dr Son Hoang
  5. [img] [img]
    COMP2214 - Coursework AY2022-23
    Shared with the University by
    Dr Son Hoang
  6. [img] [img]
    COMP2214 - Coursework AY2023-24
    MULTI elevator coursework

    Shared with the University by
    Dr Son Hoang
  7. [img]
    COMP2214 - Problem Class 00 - Introduction to the Rodin Platform
    Shared with the University by
    Dr Son Hoang
  8. [img] [img]
    COMP2214 - Problem Class 01 - Deductive Proof (Propositional Logic)
    Exercises for Propositional Logic Proof in Rodin Platform

    Shared with the University by
    Dr Son Hoang
  9. [img] [img]
    COMP2214 - Problem Class 02 - Deductive Proof (Predicate Logic and Set Theory)
    Exercises for Predicate Logic and Set Theory Proof in Rodin Platform

    Shared with the University by
    Dr Son Hoang
  10. [img] [img]
    COMP2214 - Problem Class 03 - Model a Routing System
    Model a Routing System using transitive closure

    Shared with the University by
    Dr Son Hoang
  11. [img] [img]
    COMP2214 - Problem Class 08 - Elevator System in SPARK
    Exercise using the Elevator System in SPARK

    Shared with the University by
    Dr Son Hoang
  12. [img] [img]
    COMP2214 Lecture - Event-B to SPARK
    This lecture about data refinement from Event-B models and generating SPARK/Ada from the model

    Shared with the University by
    Dr Son Hoang
  13. [img] [img]
    Modelling Dojo: The SmarTaxi Case Study
    We illustrate the modelling activities using the SmarTaxi Case Study

    Shared with the University by
    Dr Son Hoang
This list was generated on Sat Dec 21 17:13:38 2024 UTC.