• Rodin 3.2 is now available. More information : http://wiki.event-b.org/index.php/Rodin_Platform_3.2_Rele...

    EventBTv - Channel

    • 1 video
    This is the official Event-B channel about the Event-B method (www.event-b.org) and its dedicated platform Rodin.
  • In this episode of the Verification Corner show (Microsoft Research), Jean-Raymond Abrial and Rustan Leino expose the main principles of modelling and refinement in Event-B formal method using its dedicated tool: the Rodin platform.

    Modeling, refinement, and verification - Duration: 38 minutes.

    • 5 years ago
    In this episode of Verification Corner, Jean-Raymond Abrial and Rustan Leino show how to do a design starting from a model that is gradually refined toward executable code. They use the Rodin tool...
  • Here is a video from Andrew Ross on "Systems Engineering with the Requirements modeling Framework".

    Systems Engineering with the Requirements modeling Framework - Duration: 24 minutes.

    • 6 years ago
    Eclipse is getting more and more popular in systems engineering, and already covers a number of key areas, including modeling, testing, code generation, project management, and more. But until rece...
  • Modelling and Animation with iUML-B State-machines - Duration: 20 minutes.

    • 6 years ago
    A demonstration of the iUML-B State-machines plug-in showing how to use state-machines in an Event-B machine, how to elaborate statemachines in a refinement and how they can be animated using ProB.
to add this to Watch Later

Add to

Loading playlists...