ProB und BParser für Event-B und Atelier-B

Atelier-B unterstützt Event-B, mit einer erweiterten Syntax (ref Anweisungen für Events, Möglichkeiten Witnesses anzugeben,...). Es soll der existierende BParser (aufbauend auf SableCC) erweitert werden um diese neue Syntax zu akzeptieren. Im Anschluss kann der ProB Interpreter angepasst werden, damit die Event-B Multi-Level Animation auch für Atelier-B Event-B Modelle funktioniert.