Méthode B/B classique

Ce qui a été dit en introduction concerne le "B classique". Le "B événementiel" conserve tous les concepts du "B classique". Mais au lieu de spécification des opérations d'une machine, on spécifie des événements, un événement étant modélisé par une opération gardée. Un événement, contrairement à une opération, n'est pas appelé.