Definitions of B-Method

  1. A system for rigorous or formaldevelopment of software using the notion of AbstractMachines to specify and design software systems. TheB-Method is supported by the B-Toolkit.Abstract Machines are specified using the Abstract MachineNotation ( AMN) which is in turn based on the mathematicaltheory of Generalised Substitutions.