Abstract Data Types in Event-B - An Application of Generic Instantiation

David Basin, Andreas Fürst, Thai Son Hoang +2

Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development. On the one hand, there are…