The Rodin Platform Has Turned Ten

  • Laurent Voisin
  • Jean-Raymond Abrial
Conference paper

DOI: 10.1007/978-3-662-43652-3_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8477)
Cite this paper as:
Voisin L., Abrial JR. (2014) The Rodin Platform Has Turned Ten. In: Ait Ameur Y., Schewe KD. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2014. Lecture Notes in Computer Science, vol 8477. Springer, Berlin, Heidelberg

Abstract

In this talk, we give an historical account of the development of the Rodin Platform during the last 10 years.

Keywords

Event-B formal methods tooling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Laurent Voisin
    • 1
  • Jean-Raymond Abrial
    • 2
  1. 1.SysterelAix-en-ProvenceFrance
  2. 2.MarseilleFrance

Personalised recommendations