Bhave Toolset
Bhave Toolset consists from several tools:- BHPC Translator (BHPCC) is a parser of Behavioural Hybrid Process Calculus(BHPC) that translates BHPC specification to an internal format, and translator of sequential version of calculus to Modelica,
- Discrete Bhave is a tool for discrete simulation of Behavioural Hybrid Process Calculus,
- Bhave prototype is a prototype of Behavioural Hybrid Process Calculus simulation tool. For more information consult Bhave prototype pages.
Questions and Support
For all questions and support contact bhave -at- cs.utwente.nl (please replace the -at- by an @)