Skip to main content

2 Result(s)

within Geoffrey Hulette Remove this filter

and

  1. Chapter and Conference Paper

    Refinement and Verification of Responsive Control Systems

    Statechart notations with ‘run to completion’ semantics, are popular with engineers for designing controllers that respond to events in the environment with a sequence of state transitions. However, they lack ...

    Karla Morris, Colin Snook, Thai Son Hoang, Geoffrey Hulette… in Rigorous State-Based Methods (2020)

    Download PDF (179 KB) View Chapter

  2. No Access

    Chapter and Conference Paper

    Formal Verification of Run-to-Completion Style Statecharts Using Event-B

    Although popular in industry, state-chart notations with ‘run to completion’ semantics lack formal refinement and rigorous verification methods. State-chart models are typically used to design complex control ...

    Karla Morris, Colin Snook, Thai Son Hoang, Geoffrey Hulette… in Software Architecture (2020)