B-Toolkit es un conjunto de programas diseñados para su uso con el B-herramienta , que es un intérprete de matemática de la teoría de conjuntos, y para poner en práctica el método formal de desarrollo de software denominado Método B .
Esta herramienta utiliza el kit de herramientas Qt para administrar su interfaz gráfica y fue diseñada originalmente para los sistemas operativos Linux y Solaris . Fue desarrollado por la empresa B-Core Limited, con sede en Gran Bretaña.