B-Toolkit je sada programů určených pro použití s B-Tool , což je matematický interpret teorie množin, a implementovat formální metody vývoje software s názvem Metoda B .
Tento nástroj používá ke správě svého grafického rozhraní sadu nástrojů Qt a byl původně navržen pro operační systémy Linux a Solaris . Byl vyvinut společností B-Core Limited se sídlem ve Velké Británii.