Skip to main content

1 Result(s)

within Computer Science Remove this filter Mathematical Logic and Formal Languages Remove this filter Mohammadsadegh Dalvandi Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Verifiable Code Generation from Scheduled Event-B Models

    Scheduled Event-B (SEB) augments Event-B with a scheduling language to make the control flow in an Event-B model explicit and facilitate derivation of algorithmic structure in Event-B refinement. A concrete SE...

    Mohammadsadegh Dalvandi, Michael Butler… in Abstract State Machines, Alloy, B, TLA, VD… (2018)