B-Toolkit to zestaw programów przeznaczonych do użytku z B-Tool , która jest matematycznym interpretator teorii mnogości i wdrożenia formalnej metody rozwoju oprogramowania o nazwie Metoda B .
To narzędzie wykorzystuje zestaw narzędzi Qt do zarządzania interfejsem graficznym i zostało pierwotnie zaprojektowane dla systemów operacyjnych Linux i Solaris . Został opracowany przez firmę B-Core Limited z siedzibą w Wielkiej Brytanii.