B-Toolkit er en pakke med programmer som er laget for bruk sammen med B-Tool , som er en matematisk tolker av mengdelære, og til å gjennomføre den formelle metoden for programvareutvikling kalt metode B .
Dette verktøyet bruker Qt-verktøysettet til å administrere det grafiske grensesnittet og ble opprinnelig designet for Linux- og Solaris- operativsystemer . Den ble utviklet av selskapet B-Core Limited, basert i Storbritannia.