"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:
Post a Comment