Bhave toolset

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 @)