Programmi di www.tools.clearsy.com/index.php5?title=B-Compiler_Project

Il compilatore B è uno strumento in grado di analizzare i modelli B ed eseguire analisi sintassiche e semantiche. Può anche essere utilizzato come libreria, collegato ad applicazioni che manipolano modelli B (cross referencer