Friday, January 18, 2019

"On B and Event-B: Principles, Success and Challenges: Jean-Raymond Abrial, Marseille, France"


"After more than 20 years since the publication of my book on B, and almost 10 years since the publication of my book on Event-B, the aim of this talk is to present some key points about these technologies. The talk will cover the basic principles on which B and Event-B have been developed and look at differences and similarities between B and Event-B. It will also outline where B and Event-B are spread around the world. Finally, the talk will explore challenges with the industrial application of these technologies."

Jean-Raymond Abrial. On B and Event-B: Principles, Success and Challenges (slides)

No comments: